0
0

[–] antiracist3 ago 

https://voat.co/v/whatever/comments/1135970/5639154

Antiracist10 links to Antiracist3 there, before you asked your question.

That link is in the chain that I linked to you here, in the last link of the post: https://voat.co/v/whatever/comments/1133371/5639614

It's to where you and oedipusaurus_rex were talking.

You had enough information to connect Antiracist3 and Antiracist10 before you asked.

0
0

[–] TelescopiumHerscheli ago 

I did, but felt it was polite to let you know that I'd made the link. It's nice to meet you. And now it's late, so I'm going to bed. Goodnight!

0
0

[–] antiracist3 ago 

Yes.

1
-1

[–] antiracist3 1 point -1 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

0
0

[–] 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.

2
-2

[–] antiracist14 2 points -2 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

2
-2

[–] antiracist3 2 points -2 points (+0|-2) ago