Anonymous at Thu, 1 Aug 2024 15:50:06 UTC No. 16305933

>>16305683
he has identified some valid problems but the ensuing philosophising is indeed cringe.

Anonymous at Fri, 2 Aug 2024 19:01:41 UTC No. 16307439

bump.

Anonymous at Fri, 2 Aug 2024 19:05:18 UTC No. 16307443

>>16305683
It's just mathematics version of id*alism. Truly the the worst and cringiest philosophy ever, barring only solipsism perhaps.

Anonymous at Fri, 2 Aug 2024 19:10:51 UTC No. 16307452

>>16305683
>ouwe
Is there a more cringe phoneme?

Anonymous at Fri, 2 Aug 2024 19:29:39 UTC No. 16307490

>>16307452
Phoneme or grapheme?
If the latter, as much of a meme it is, "ough" might have it beat
Or any of the n-grams in "Dirichlet"

Anonymous at Fri, 2 Aug 2024 19:32:00 UTC No. 16307496

>>16307490
Graphemizing a phoneme, perhaps.

Anonymous at Sat, 3 Aug 2024 08:46:59 UTC No. 16308260

Is intuitionistic logic more fundamental?
Because it proves
[math]\forall p . \neg(p \lor \neg p) \to \bot[/math]
so classical logic is an addition to the world. What logic is presupposed in the act of thought?

Anonymous at Sat, 3 Aug 2024 08:58:04 UTC No. 16308264

> Does some fundamental work in the early stages of topology, proving Brouwer's fixed point theorem, Jordan-Brouwer separation theorem, hairy ball theorem and invariance of domain.
>devotes the rest of his life bickering with Hilbert about his nonsense philosophy
>refuses to elaborate
>leaves
What a chad.

Anonymous at Sat, 3 Aug 2024 10:32:16 UTC No. 16308311

>>16305683
very based man. you can not find a perfect static mathematical object in nature anywhere

Anonymous at Sat, 3 Aug 2024 10:36:38 UTC No. 16308313

>>16308311
>in nature
>my mind is unnatural

Anonymous at Sat, 3 Aug 2024 12:36:40 UTC No. 16308385

>>16308264
He elaborated a plenty. He also proved an intuitionistic version of his fixed-point theorem later in life.

Anonymous at Sun, 4 Aug 2024 06:02:01 UTC No. 16309476

>>16305683
Good thing Hilbert kicked him out

Anonymous at Mon, 5 Aug 2024 06:53:25 UTC No. 16310645

bump