|
|
|
|
|
|
by ProfHewitt
1829 days ago
|
|
|
The reason that [Gödel 1931] was influential was that it claimed to prove incompleteness for a system for the foundations of mathematics. 1st-order systems such a PA were introduced later and quickly shown to be inadequate for the foundations of mathematics. |
|
|