[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.15194229 [View]
File: 393 KB, 744x1502, On Formally Undecidable Propositions Of Principia Mathematica And Related Systems (Dover 1992)(Isbn 0486669807)(600Dpi)(T)(79S) Maml(1) - Kurt_Gödel_On_Formally_Undecidabl[...].png [View same] [iqdb] [saucenao] [google]
15194229

>>15194208
Pic related also explains at the very begging of the paper the sort of systems which it applies to

Navigation
View posts[+24][+48][+96]