What does /sci/ think of Godel's proofs?

>>8977977
'/his/' how the fuck is it /his/?

File: always getting hit on.jpg (73KB, 600x900px) Image search: [Google]

73KB, 600x900px

>What do I think about them
Well they are important contributions. The question is kind of moot.

The fact that second order logic doesn't have a completeness theorem bugs me though, cause using it we woudn't have to rely on set theories as much. This SE question is a good one
https://philosophy.stackexchange.com/questions/2617/how-did-first-order-logic-come-to-be-the-dominant-formal-logic