๐งต L. E. J. Brouwer Intuitionism
Anonymous at Thu, 1 Aug 2024 10:00:34 UTC No. 16305683
>mathematical objects are only in le mind
>but somehow we can experience the same objects
Is there a more cringe worldview?
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