>Arguably be the greatest logician of all time (or at least the greatest logician since Aristotle)
>come up with arguably one of the greatest achievement in human thought, and probably the greatest mathematical achievement of the 20th century
>believe that you are being secretly poison and god
Yes, yes i know that being a mathematical logician is not the same as always thinking logically, but i just find it ironic sometimes
Is there a difference between scientific/mathematical and practical intellect?
>>8621656
After studying category theory, I started to question my agnostic beliefs. I saw some things with the monoid, and know there is something more to the world than what is tangible.
>>8621687
Can you elaborate more please?
He was a pretty chill dude. Towards the end of his life he became convinced that there was an international conspiracy to cover up hidden works of Leibniz
>>8621754
Wat
>>8621772
When atheist talk about logic they actually mean science and not pure thought,
"I don't believe in empirical science. I only believe in a priori truth." - Kurt Gödel
>>8621656
I believe in God and I work in mathematics. It doesn't change the way I do mathematics. They aren't mutually exclusive things. There was a famous mathematician at one of my previous schools that was a huge Christian.