>>11577268You realize kripke's modal logic is redundant right? Modal operators don't add anything to the language of first-order logic. It's like adding 0s to the beginning of all your numbers. Yeah, it looks different and maybe makes you think about place value more but it's still the same fucking number- nothing changed.
>>11577239>dude wasn't even that specialvon neumann could multiply large integers in his head by like age 5. He was a prodigy just like erdos was. Just because he was a jew doesn't mean he wasn't special, even if he did admittedly steal and rebrand a number of things that are named after him.
>>11577260>he sounds like a retardLmao, quite the contrary. Most people would have given the name of the instruments, instead he immediately identified the entire class of instruments they were apart of. This is not typical of "non-special" people. Again, just because he was a jew doesn't mean he wasn't smart.
>>11577047>smartest man in historyDefinitely a genius, but smartest? debatable.
There are many geniuses in the history of mathematics. Von Neumann was undoubtedly one of them, but there are more. Check this article out.
http://mathshistory.st-andrews.ac.uk/HistTopics/Mental_arithmetic.html 
