You can login if you already have an account or register by clicking the button below.
Registering is free and all you need is a username and password. We never ask you for your e-mail.
Thank you for the nice comments. I'm not sure I was really "crushing" anyone - more like light-hearted banter!
Strangely, I don't usually feel smart - rather the reverse, most of the time. There's so much I don't know and understand it's pretty scary.
As for Gödel, my own view is that he was very much smarter than most people. I would count myself very much in the formalist tradition, but unlike some of the older generation I don't think Gödel did very much harm to the formalist case. Rather, I take Gödel's work as describing aspects of a certain (very large) class of formal systems, and take a "utilitarian" view of mathematics as applied to the real world. I suppose I think he was a very smart guy whose work has been imperfectly interpreted by others.
view the rest of the comments →
[–] antiracist3 1 point -1 points 0 points (+0|-1) ago (edited ago)
Ohhhh!!! You're the guy who was crushing oedipusaurus_rex about consistency!
Yeah, you're smart. I can tell.
oedipusaurus_rex, nadrewod, and The_Only_Other are not.
Lol, lots of mentions of Godel. Consistency to oedipusaurus_rex. Platonism to The_Only_Other. And ontological arguments to Crensch.
Voat is filled with lots of idiots. They're all smarter than Godel though. http://archive.is/RQgAH
[–] TelescopiumHerscheli ago
Thank you for the nice comments. I'm not sure I was really "crushing" anyone - more like light-hearted banter!
Strangely, I don't usually feel smart - rather the reverse, most of the time. There's so much I don't know and understand it's pretty scary.
As for Gödel, my own view is that he was very much smarter than most people. I would count myself very much in the formalist tradition, but unlike some of the older generation I don't think Gödel did very much harm to the formalist case. Rather, I take Gödel's work as describing aspects of a certain (very large) class of formal systems, and take a "utilitarian" view of mathematics as applied to the real world. I suppose I think he was a very smart guy whose work has been imperfectly interpreted by others.
[–] antiracist14 2 points -2 points 0 points (+0|-2) ago
Holy shit, I crushed @Crensch so hard here. You're a mathematician. Maybe you can act as an objective third party to decide who won the "debate."
https://voat.co/v/Showerthoughts/comments/1137563/5657691
[–] antiracist3 2 points -2 points 0 points (+0|-2) ago
http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html