What are the philosophical implications of Gödel's incompleteness theorem?
that you cannot know nuffin
>>1480126
Elaborate please.
>>1480725
that contrived formal system is the pinnacle of sterility and the opposite of empiricism , empiricism which remains the refusal to dwell in your mental proliferation, even though rationalist love to say the contrary
>>1480069
That any axiomatic formulation of first order peano arithmetic can never be both consistent and complete. Mathematics is not consistent and complete.
>>1480069
his work suggests knowledge is infinite, that we will never have a 'theory of everything', b/c every time we create a logic system that can encompass more complexity, it will inevitably reach a level of complexity that it can't explain.
Meaning, a new, even more complex, logic system will have to be devised to find a way out of the older, 'incomplete' logic system.
>>1480069
that mathematic logic is bulshit and can be ignored for the most part
>>1481741
No, it means that you cannot demonstrate with formal logic that it is one and also the other. Not that it isn't both consistent and complete.