## ๐งต 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