« first day (359 days earlier)      last day (2452 days later) » 

user131753
1:55 PM
Recently while browsing through the internet I found ii.uni.wroc.pl/~kosciels/pi/canon00-goedel.pdf which is a modernized version of Gödel's paper On formally undecidable propositions of Principia Mathematica and related systems I.
 
user21820
user21820
3:28 PM
@user170039: Very interesting! Thanks for sharing!
 

« first day (359 days earlier)      last day (2452 days later) »