Mentionsy

W ogóle filozofowie to bardzo lubią różnego rodzaju rozróżnienia, że trzeba na początek rozróżnić taką matematykę przez małe M i matematykę przez wielkie M. Matematyka przez małe M to jest to, czym zajmują się matematycy.

To walczą, zmagają się z czymś rzeczywistym, z czymś, co nie siedzi w ich głowie, czego oni nie wymyślili, tylko co oni właśnie starają się zrozumieć, co oni starają się jakoś tam obserwować pod odpowiednim kątem, więc jak to ktoś ładnie określił, w okopach wszyscy jesteśmy platonikami, bo o tym wspomniałem, taki pogląd, że matematyka w jakimś sensie istnieje niezależnie od nas, nazywa się platonizmem.

No bo tutaj to sugerujesz właśnie, że istnieje jakaś struktura i kiedy taki matematyk próbuje walczyć, to próbuje w jakimś sensie zaobserwować przy pomocy tych narzędzi matematycznych tę strukturę, jak rozumiem.

I jak myślę o historii matematyki, to to później następowało wielokrotnie i raczej należałoby powiedzieć to, co ty powiedziałeś, że matematyka jest jedna, jest jedną taką wszechogarniającą strukturą, a to, że my ją dzielimy na jakieś tam działy, to jest właśnie ta matematyka przez małe m. To jest nasza próba ogarnięcia tej mega metastruktury matematyki.

Wszechświat ma jakąś strukturę, co już samo w sobie jest głębokim, filozoficznie stwierdzeniem.

Tak, rozumiem.

Będzie jakiś tam związek z ciśnieniem.

Pamiętam.

Tak, rozumiem.

Bardzo chętnie o automatach komórkowych porozmawiam.

Wszechświata.com.pl

Przecież jeśli to ma pomóc w jakichś zastosowaniach, no to sobie po prostu załóżmy, że jest prawdziwa i po prostu budujmy technologię, operując się na tym.

Wszechświaty.com.pl

Musiałbym, nie wiem... Nauczyć się całej matematyki.

Tymczasem właśnie ten duży model językowy potrafi być takim oczytanym, ale jednocześnie niezbyt inteligentnym doktorantem.

Jak się czuć z tym, rozumiem.

Przestrzegam też, może przy okazji dobrze, żeby to wybrzmiało przed takim hype'em.

Ja się z tym fundamentalnie nie zgadzam, chociaż oczywiście się nie znam, więc się wypowiem.

Tak, więc przestrzegam przed hype'em.