Browsing W&L University Student Scholarship by Subject "Philosophy -- Mathematical models"
Now showing items 1-1 of 1
-
On Showing and Saying: An Analysis of Go?del 1931
In 1931 Kurt Go?del published a theorem demonstrating that many systems of formal logic capable of developing arithmetic possess major deficiencies. He shovs that such systems, if they are consistent, are powerless to ...