Tożsamość matematyki poprzez reorganizację

Abstrakt

Matematyka uchodzi za dziedzinę szczególnie odporną na historyczną zmianę. Twierdzenie raz poprawnie dowiedzione nie starzeje się w tym samym sensie co teoria empiryczna, a liczby, relacje i struktury matematyczne wydają się posiadać wyjątkowo silną tożsamość. Jednocześnie historia matematyki pokazuje radykalne reorganizacje jej własnych podstaw. Zmieniało się rozumienie liczby, geometrii, aksjomatu, nieskończoności, dowodu, modelu, formalizacji i matematycznego obiektu. Geometria przestała być jedną konieczną geometrią; aksjomaty przestały być wyłącznie oczywistymi prawdami i zaczęły funkcjonować jako warunki definiujące klasy struktur; teoria mnogości ujawniła wielość modeli; twierdzenia Gödla ograniczyły możliwość pełnego domknięcia dostatecznie silnych systemów formalnych; wyniki Gödla i Cohena pokazały niezależność hipotezy continuum od ZFC; strukturalizm przesunął pytanie z „czym jest liczba?” ku „jakie miejsce zajmuje w strukturze?”, a teoria kategorii jeszcze mocniej uprzywilejowała morfizmy, równoważności i niezmienniki.[1]

Powstaje wobec tego pytanie:

co sprawia, że pomimo tak głębokich reorganizacji nadal mówimy o jednej matematyce?

Jeszcze głębsze pytanie brzmi:

co w samej matematyce znaczy „ten sam obiekt”, skoro różne realizacje mogą być uznawane za równoważne, izomorficzne albo wręcz — w określonych fundamentach — identyfikowalne?

Logodygmat proponuje rozdzielić co najmniej cztery poziomy:

identyczność formalną — ten sam symbol, term lub obiekt w określonym formalizmie;

tożsamość strukturalną — zachowanie relacji konstytutywnych mimo zmiany realizacji;

tożsamość inferencyjną — zachowanie określonych konsekwencji mimo zmian reprezentacji;

tożsamość genealogiczną matematyki — historyczną ciągłość praktyki definiowania, abstrahowania, dowodzenia, modelowania i badania niezmienników mimo reorganizacji jej własnych fundamentów.

Centralna teza brzmi:

Matematyczna tożsamość nie musi polegać na zachowaniu jednego materialnego, symbolicznego ani teoriomnogościowego nośnika. W wielu podstawowych przypadkach polega na zachowaniu niezmienników względem określonej klasy transformacji.

Stąd wynika szersza propozycja dla logodygmatu:

Tożsamość poprzez reorganizację można rozumieć jako zachowanie określonych inwariantów organizacyjnych względem klasy transformacji, które przy danym kryterium i rozdzielczości uznajemy za tożsamościowo dopuszczalne.

Matematyka staje się tym samym nie tylko kolejnym przedmiotem zastosowania logodygmatu.

Może dostarczyć:

języka jego dalszej formalizacji.

1. Dlaczego matematyka jest szczególnym przypadkiem?

Ziemia:

zmienia materialną organizację.

Człowiek:

zmienia organizację biologiczną i psychiczną.

Religia:

reorganizuje znaczenia i instytucje.

Matematyka natomiast:

reorganizuje własne sposoby określania tego, co znaczy „to samo”.

To czyni ją szczególną.

2. Matematyka bada również własne kryteria identyczności

Matematyk pyta:

kiedy dwie funkcje są równe?

kiedy dwie grupy są izomorficzne?

kiedy dwie przestrzenie są homeomorficzne?

kiedy dwa modele realizują tę samą teorię?

Czyli problem tożsamości:

jest wpisany w samą praktykę matematyczną.

3. „To samo” nie ma jednego znaczenia

Możemy mieć:

A = B

albo:

A ≅ B

albo:

A ≃ B.

Pierwszy zapis może oznaczać:

równość.

Drugi:

izomorfizm.

Trzeci — zależnie od dziedziny:

określony rodzaj równoważności.

To nie są:

synonimy.

4. Matematyka już dawno nauczyła się stopniować tożsamość strukturalną

Dwa obiekty mogą być:

numerycznie różne

i jednocześnie:

strukturalnie nierozróżnialne względem interesującej teorii.

To fundamentalny fakt.

5. Liczba wydaje się oczywistym obiektem

Co może być bardziej oczywiste niż:

2?

Ale pytanie:

czym dokładnie jest liczba 2?

prowadzi bardzo szybko do:

filozofii fundamentów matematyki.

6. Liczby można reprezentować teoriomnogościowo na różne sposoby

W konstrukcji von Neumanna liczby naturalne realizuje się przez określone zbiory.

Możliwe są jednak:

inne izomorficzne realizacje.

Benacerraf zwrócił uwagę, że arbitralne utożsamienie liczby z jedną konkretną konstrukcją teoriomnogościową przypisuje jej własności, które nie mają znaczenia arytmetycznego.[2]

7. To prowadzi do słynnego problemu Benacerrafa

Jeżeli istnieje wiele równie dobrych reprezentacji:

która z nich jest „naprawdę” liczbą?

Benacerraf sugerował:

problem został źle postawiony.

Liczby należy rozumieć przede wszystkim poprzez:

ich miejsca w strukturze liczb naturalnych.[2]

8. Liczba jako pozycja

W takim ujęciu:

2 nie jest ważne ze względu na swoją teoriomnogościową zawartość.

Jest:

pozycją pomiędzy 1 i 3 w określonej strukturze.

Tożsamość obiektu matematycznego zostaje:

zrelacjonalizowana.

9. Nie „z czego jest zbudowane 2?”, lecz „jaką rolę pełni 2?”

To fundamentalne przesunięcie:

SUBSTRAT

↓

ustępuje:

STRUKTURALNEJ POZYCJI.

To bardzo bliskie logodygmatycznemu przejściu:

od substancji do organizacji relacji.

10. Matematyczne indywiduum może więc być miejscem w organizacji

Pozycjonalna tożsamość matematyczna zachodzi wtedy, gdy obiekt jest indywidualizowany przez miejsce zajmowane w strukturze relacji konstytutywnych, a nie przez przypadkową budowę konkretnej reprezentacji.

To pierwsza proponowana kategoria logodygmatu.

11. Ale nawet strukturalizm posiada własny problem tożsamości

Jeżeli struktura posiada nietrywialne automorfizmy, mogą istnieć różne elementy zajmujące:

strukturalnie nierozróżnialne pozycje.

SEP jako klasyczny przykład podaje m.in.:

i oraz −i w odpowiednio traktowanej strukturze liczb zespolonych.[3]

Czyli:

relacyjność również nie rozwiązuje automatycznie wszystkich problemów indywidualizacji.

12. Matematyka sama pokazuje granicę prostego strukturalizmu

To ważna lekcja dla logodygmatu.

Nie wystarczy powiedzieć:

„tożsamość = relacja”.

Trzeba dodatkowo wskazać:

jaką strukturę;

jakie transformacje;

jakie niezmienniki;

jaką grupę automorfizmów.

Bez tego:

kryterium pozostaje niepełne.

13. Wracamy do aksjomatu

W klasycznej tradycji aksjomat kojarzył się z:

twierdzeniem podstawowym, którego nie dowodzimy.

Często także:

z oczywistością.

Rozwój nowoczesnej aksjomatyki przesunął jednak jego funkcję.

14. Hilbert dokonuje jednej z wielkich reorganizacji

Grundlagen der Geometrie z 1899 roku było przełomem w rozumieniu roli systemu aksjomatów.

Hilbert analizował:

spójność;

niezależność;

różne interpretacje terminów pierwotnych.

Aksjomaty zaczęły być ujmowane jako określające:

strukturę relacji, którą mogą realizować różne systemy obiektów.[4]

15. Punkt nie musi „wewnętrznie” być punktem

W Hilbertowskiej aksjomatyce podstawowe terminy mogą być traktowane jako:

miejsca strukturalne.

Liczy się przede wszystkim:

czy ich interpretacja spełnia odpowiedni system relacji.[4]

16. To ogromna zmiana ontologiczna w modelu matematyki

Nie:

najpierw wiemy, czym jest punkt, a potem ustalamy jego relacje.

Lecz:

system relacji współokreśla matematyczne znaczenie terminów pierwotnych.

To:

definicja implicytna.

17. Aksjomat staje się organizatorem przestrzeni modeli

Możemy zaproponować:

Aksjomat jest formalnym ograniczeniem przestrzeni dopuszczalnych struktur, które współorganizuje klasę modeli realizujących daną teorię.

Zespół aksjomatów:

ogranicza matematyczną przestrzeń możliwości.

18. Aksjomat jako operator modalny

W języku logodygmatu:

AKSJOMAT

↓

OGRANICZENIA

↓

KLASA MODELI

↓

DOPUSZCZALNE STRUKTURY

↓

KONSEKWENCJE.

To bardzo mocne połączenie:

aksjomatyki z modalnością.

19. Zmiana aksjomatu może reorganizować cały świat formalny

Jeżeli zmienimy:

jedno istotne założenie,

nie zawsze otrzymujemy tylko:

jedno inne twierdzenie.

Możemy uzyskać:

inną klasę modeli.

To właśnie wydarzyło się m.in. w historii geometrii.

20. Geometria przestaje być jedną geometrią

Rozwój geometrii nieeuklidesowych oraz nowoczesnej aksjomatyki pokazał, że różne systemy aksjomatyczne mogą definiować:

odmienne geometrie.

Hilbertowskie podejście umożliwiło analizę niezależności określonych aksjomatów poprzez konstruowanie odpowiednich interpretacji i modeli.[4]

21. To reorganizacja modalności matematycznej

Wcześniej:

geometria wydawała się jednym koniecznym porządkiem.

Później:

geometria stała się przestrzenią różnych struktur.

Czyli zmieniła się:

sama organizacja możliwości.

22. Matematyka nie utraciła przez to tożsamości

Wręcz przeciwnie.

Stała się:

bogatsza.

To znakomity przykład:

tożsamości poprzez generatywne rozszerzenie.

23. Różnorodność formalna może zwiększać tożsamość dziedziny

To może wydawać się paradoksalne.

Ale matematyka nie zachowuje tożsamości przez:

eliminowanie alternatywnych struktur.

Zachowuje ją również przez:

zdolność systematycznego badania różnic pomiędzy nimi.

24. Tutaj wraca różnorodność generatywna

W matematyce wiele niezależnych:

aksjomatyk;

języków;

reprezentacji;

metod dowodu

nie musi oznaczać:

chaosu.

Może zwiększać:

generatywność całej domeny.

25. Ale potrzebujemy reguł porównywania

Jeżeli każda teoria pozostanie zupełnie izolowana:

nie powstanie wspólna matematyczna architektura.

Kluczowe są:

translacje;

interpretacje;

modele;

homomorfizmy;

izomorfizmy;

funktory.

To one integrują:

różnorodność formalną.

26. Matematyczna jedność nie musi być centralistyczna

Może być:

siecią translacji pomiędzy lokalnie autonomicznymi strukturami.

To szczególnie interesujące dla logodygmatycznego pojęcia:

policentryzmu generatywnego.

27. Dowód

Drugim klasycznym filarem matematycznej tożsamości jest:

dowód.

Twierdzenie matematyczne nie jest zwykle akceptowane dlatego, że:

dobrze pasuje do obserwacji.

Musi posiadać:

odpowiednie uzasadnienie inferencyjne.

28. Dowód organizuje następstwo formalne

Mamy:

ZAŁOŻENIA

↓

REGUŁY INFERENCJI

↓

KROKI

↓

WNIOSEK.

Dowód jest więc:

organizacją osiągalności zdania z określonego punktu formalnego.

29. Matematyczna osiągalność

Możemy zdefiniować:

Matematyczna osiągalność twierdzenia jest możliwością uzyskania go z określonego systemu aksjomatów przy użyciu dopuszczalnych reguł inferencji.

To analog:

przestrzeni osiągalności systemu.

30. Twierdzenie może istnieć syntaktycznie, ale nie być osiągalne dowodowo

Zdanie można:

poprawnie sformułować.

Nie znaczy to:

że jest dowodliwe w danym systemie.

To różnica:

FORMUŁOWALNOŚĆ

≠

DOWODLIWOŚĆ.

31. Hilbertowski program próbował wzmocnić formalną samoorganizację matematyki

W latach 20. XX wieku program Hilberta zakładał szeroką formalizację klasycznej matematyki oraz zabezpieczenie jej poprzez metamatematyczne dowody niesprzeczności przy użyciu odpowiednio ograniczonych metod finitystycznych.[5]

Była to niezwykle ambitna:

metaorganizacja formalnego poznania.

32. Matematyka miała uzyskać kontrolę nad własnym formalnym aparatem

Nie tylko:

dowodzić twierdzeń.

Ale także:

dowodzić własnego bezpieczeństwa formalnego.

To był ruch:

MATEMATYKA

↓

METAMATEMATYKA

↓

ANALIZA MATEMATYKI PRZEZ MATEMATYKĘ.

33. Powstaje autoreferencyjność

System formalny:

staje się własnym przedmiotem badania.

Koduje się:

formuły;

dowody;

reguły.

Matematyka uzyskuje:

poziom metaobserwacji.

34. Gödel reorganizuje ten projekt

Twierdzenia o niezupełności nie oznaczają:

„matematyka jest sprzeczna”.

Nie oznaczają:

„niczego nie można udowodnić”.

Pokazują określone ograniczenia:

dostatecznie silnych efektywnie aksjomatyzowanych systemów formalnych.[6]

35. Pierwsze twierdzenie o niezupełności

W odpowiednio silnym i niesprzecznym efektywnie aksjomatyzowanym systemie arytmetycznym istnieją zdania, których:

system nie może rozstrzygnąć.

Nie otrzymujemy więc jednocześnie:

pełnej efektywnej aksjomatyzacji i kompletności arytmetycznej w oczekiwanym sensie.[6]

36. Drugie twierdzenie

Przy standardowych założeniach odpowiednio silny system niesprzeczny nie może:

dowieść własnej niesprzeczności za pomocą środków formalizowanych w nim samym.[6]

To niezwykła granica:

formalnej autoreferencji.

37. System nie może w pełni zamknąć własnego horyzontu

Logodygmatycznie:

metaorganizacja formalna napotyka granicę wewnętrznego samouzasadnienia.

To bardzo ważna lekcja.

38. Granica nie oznacza końca matematyki

Po Gödlu matematyka:

nie przestała istnieć.

Nie przestała:

tworzyć nowych teorii.

Przeciwnie:

problem fundamentów przeszedł na nowy poziom.

39. Matematyka zachowała tożsamość poprzez utratę złudzenia pełnego domknięcia

To szczególnie dobry przykład:

transformacyjnej tożsamości epistemicznej.

Program został:

ograniczony.

Dziedzina:

trwała.

40. Dowodliwość i prawda

Gödelowska analiza wyostrzyła również różnicę pomiędzy:

syntaktyczną dowodliwością

a:

semantyczną prawdziwością w określonym modelu.[6]

To kolejna fundamentalna reorganizacja.

41. Nie należy jednak mówić po prostu „prawda jest większa niż dowód”

Bez kwalifikacji jest to:

zbyt metafizyczne.

Trzeba wskazać:

język;

teorię;

model;

semantykę.

Prawda matematyczna jest tutaj:

prawdą w określonej interpretacji.

42. Model wchodzi do centrum matematyki

Teoria:

nie jest jednym światem formalnym.

Może posiadać:

wiele modeli.

Model realizuje:

określony system zdań.

To zmienia pojęcie matematycznego przedmiotu.

43. Model nie jest teorią

TEORIA

to:

zespół zdań.

MODEL

to:

struktura, w której są one spełnione.

Ta różnica jest podstawowa.

44. Jedna teoria może posiadać wiele modeli

Jeżeli modele są:

izomorficzne,

teoria może bardzo silnie określać strukturę.

Jeżeli nie:

może pozostawiać wiele jakościowo odmiennych realizacji.

To jest:

modalność modelowa.

45. Kategoryczność

Teoria jest w określonej mocy semantycznej kategoryczna, jeżeli wszystkie jej modele odpowiedniej klasy są:

izomorficzne.

Wtedy strukturalna tożsamość przedmiotu zostaje:

bardzo mocno określona.

46. A teoria pierwszego rzędu posiada własne ograniczenia

Twierdzenia Löwenheima–Skolema pokazują szczególne własności teorii pierwszego rzędu posiadających modele nieskończone.

Prowadzi to do:

paradoksu Skolema.[7]

47. Paradoks Skolema

Teoria mnogości może posiadać:

model przeliczalny z zewnętrznego metapoziomu,

a jednocześnie w modelu istnieją obiekty spełniające wewnętrzną definicję:

zbioru nieprzeliczalnego.[7]

Nie jest to:

logiczna sprzeczność.

48. Wewnętrzne i zewnętrzne kryterium różnią się

„Przeliczalny” oznacza:

istnienie odpowiedniego odwzorowania.

Ale odwzorowanie istniejące:

w metateorii

nie musi należeć:

do rozważanego modelu.

Stąd pozorny paradoks.

49. Matematyczny obserwator pojawia się formalnie

Mamy:

poziom wewnętrzny

co system może wyrazić i skonstruować;

oraz:

metapoziom

co możemy powiedzieć:

o systemie.

To jest niemal czysta realizacja naszego problemu:

obserwatora.

50. Obserwator matematyczny nie jest psychologicznym człowiekiem

To:

pozycja metateoretyczna.

Przejście:

TEORIA

→

METATEORIA

zmienia:

horyzont dostępnych rozróżnień.

51. Matematyczna rozdzielczość obserwacyjna

Możemy więc zdefiniować:

Matematyczna rozdzielczość metateoretyczna jest zakresem własności i relacji dostępnych z określonego języka, teorii i poziomu metaopisu.

Zmiana poziomu:

może ujawnić nowe różnice.

52. Tożsamość modelu zależy od języka obserwacji

Dwa modele mogą być:

różne teoriomnogościowo,

ale:

nierozróżnialne przez język określonej teorii.

To ponownie pokazuje:

tożsamość jest kwalifikowana względem określonej rozdzielczości.

53. Hipoteza continuum otwiera następny poziom

Cantor pytał, czy istnieje moc:

ściśle pomiędzy mocą zbioru liczb naturalnych i rzeczywistych.

Problem stał się pierwszym z problemów Hilberta.

54. Gödel i Cohen zmienili strukturę pytania

Gödel wykazał względną zgodność CH z odpowiednimi aksjomatami teorii mnogości, a Cohen poprzez forcing wykazał możliwość modelu ZFC, w którym CH jest fałszywa.

Razem wyniki pokazują:

niezależność CH od ZFC, przy odpowiednich założeniach niesprzeczności.[8]

55. To nie jest zwykłe „nie znamy odpowiedzi”

To znacznie mocniejsze.

Nie:

jeszcze nie znaleźliśmy dowodu.

Lecz:

z aksjomatów ZFC nie uzyskamy rozstrzygnięcia CH.

To reorganizuje:

samą modalność matematycznego problemu.

56. Pytanie zmienia się

Pierwotnie:

czy CH jest prawdziwa?

Po niezależności:

czy należy przyjąć dodatkowe aksjomaty?

albo:

czy należy dopuścić wiele równoprawnych uniwersów teoriomnogościowych?

To już:

problem metaorganizacji.

57. Pluralizm kontra poszukiwanie nowych aksjomatów

W filozofii teorii mnogości pojawiają się różne reakcje.

Jedna:

akceptuje wielość rozszerzeń.

Druga:

poszukuje nowych zasad pozwalających rozstrzygać niezależne zdania.

Sam Gödel skłaniał się ku drugiemu typowi programu.[8]

58. Matematyka może więc reorganizować własną przestrzeń prawdy

Nie w sensie:

dowolnej zmiany prawdy.

W sensie:

rozszerzania systemu aksjomatów, w którym nowe pytania stają się rozstrzygalne.

To bardzo subtelna różnica.

59. Aksjomat jako generator nowego formalnego horyzontu

Dodanie aksjomatu:

nie tylko dopisuje jedno zdanie.

Może:

zmienić całe drzewo konsekwencji.

To dokładnie:

reorganizacja przestrzeni osiągalności.

60. Aksjomatyczna przestrzeń możliwości

Aksjomatyczna przestrzeń możliwości jest klasą struktur i konsekwencji dopuszczonych przez określony układ aksjomatów, język oraz reguły inferencji.

Zmiana aksjomatów:

zmienia tę przestrzeń.

61. To matematyczny odpowiednik transformacji modalnej

W systemie fizycznym:

zmiana organizacji zmienia dostępne przyszłe stany.

W matematyce:

zmiana aksjomatyczna zmienia dostępne modele i dowodliwe konsekwencje.

To analogia:

strukturalna, nie ontologiczna identyczność obu domen.

62. Pojawia się niezmiennik — invariant

I tutaj dochodzimy do jednego z najważniejszych pojęć całego tekstu.

Matematyka często nie pyta:

czy dwa obiekty mają wszystkie te same własności.

Pyta:

co pozostaje niezmienne przy określonych transformacjach?

63. Niezmiennik

Niezmiennik jest własnością, wielkością lub strukturą zachowywaną przez określoną klasę transformacji.

To pozornie prosta definicja.

Ale filozoficznie jest niezwykle głęboka.

64. Tożsamość zawsze wymaga wskazania klasy transformacji

Jeżeli żadna transformacja nie jest dopuszczona:

tożsamość staje się banalną identycznością.

Jeżeli każda jest dopuszczona:

pojęcie tożsamości traci treść.

Potrzebujemy więc:

określonej klasy transformacji tożsamościowo obojętnych.

65. Matematyka robi to explicite

Topologia:

ignoruje pewne zmiany metryczne.

Geometria:

zachowuje odpowiednie własności przy określonych przekształceniach.

Algebra:

bada struktury zachowywane przez homomorfizmy czy izomorfizmy.

Tożsamość:

zależy od pytania.

66. Kubek i torus

Popularna intuicja topologiczna mówi:

kubek z jednym uchem i torus mają tę samą topologiczną strukturę w odpowiednim sensie.

Nie są:

tym samym przedmiotem materialnym.

Są:

homeomorficzne.

To pokazuje czysto:

różnicę identyczności i strukturalnej równoważności.

67. „Ten sam do izomorfizmu”

Matematycy regularnie mówią:

obiekt jest jednoznaczny z dokładnością do izomorfizmu.

To niezwykle istotne wyrażenie.

Oznacza:

różne realizacje są uznawane za równoważne względem interesującej struktury.

68. Izomorfizm

Izomorfizm zachowuje:

strukturę odpowiedniego rodzaju.

Jeżeli A i B są izomorficzne:

mogą być różnymi obiektami w sensie numerycznym,

ale dla danej teorii:

realizują tę samą strukturę.

69. Tożsamość organizacyjna znajduje tutaj niemal formalny prototyp

Możemy powiedzieć:

Tożsamość organizacyjna jest podobna do identyfikowania różnych realizacji na podstawie zachowania określonych relacji konstytutywnych względem ustalonej klasy transformacji.

„Podobna”:

nie znaczy identyczna matematycznie.

70. Inwariant staje się kryterium ciągłości

W człowieku:

nie wszystkie właściwości muszą być niezmienne.

W Ziemi:

nie wszystkie struktury.

W religii:

nie wszystkie interpretacje.

Pytanie brzmi:

które relacje są inwariantami genealogii?

To matematyka pozwala sformułować niezwykle precyzyjnie.

71. Logodygmatyczny inwariant tożsamości

Inwariant tożsamości jest relacją, własnością albo organizacyjnym warunkiem, którego zachowanie lub transformacyjna równoważność jest wymagane przez przyjęte kryterium dla kwalifikowania różnych stanów jako stanów tego samego systemu.

To może być fundamentalne pojęcie całego programu.

72. Ale inwariant zależy od kryterium

Nie istnieje koniecznie:

jeden uniwersalny niezmiennik każdej tożsamości.

Topolog pyta:

o inne inwarianty niż metryczny geometra.

Analogicznie:

biolog, prawnik i historyk mogą stosować inne kryteria ciągłości.

73. Tożsamość jest więc zawsze „względem”

Nie oznacza to:

relatywizmu.

Oznacza:

jawność kryterium.

Matematyka uczy:

najpierw określ klasę transformacji, dopiero potem pytaj o niezmienniki.

74. To może stać się regułą logodygmatu

Nie pytaj najpierw: „czy to ten sam system?”. Najpierw określ, które transformacje są dopuszczalne, jaką rozdzielczość przyjmujesz i jakie inwarianty mają znaczenie konstytutywne.

To bardzo mocna korekta wcześniejszej teorii.

75. Strukturalizm

Współczesny strukturalizm matematyczny traktuje nowoczesną matematykę przede wszystkim jako badanie:

struktur,

a nie tradycyjnie pojmowanych autonomicznych obiektów.[2]

Arytmetyka:

charakteryzuje strukturę liczb naturalnych.

Analiza:

strukturę liczb rzeczywistych.

Geometria:

odpowiednie struktury przestrzenne.

76. Obiekt jest określony przez miejsce

To doskonale współgra z:

indywidualnością relacyjną z tekstu o tożsamości kwantowej.

Ale w matematyce otrzymujemy:

formalnie znacznie czystszy przypadek.

77. Nie oznacza to, że strukturalizm jest bezproblemowy

Istnieją:

warianty eliminacyjne;

nieeliminacyjne;

modalne;

teoriomnogościowe;

kategorialne.

Nie ma:

jednej uzgodnionej metafizyki struktur.[3]

Logodygmat nie powinien wybierać jej automatycznie.

78. Interesuje nas wynik metodologiczny

Niezależnie od sporów:

współczesna matematyka bardzo często abstrahuje od budowy reprezentacji i bada własności zachowywane przez strukturalne transformacje.

To jest:

empirycznie widoczna praktyka matematyczna.

79. Teoria kategorii radykalizuje tę tendencję

Teoria kategorii jest ogólnym językiem:

struktur oraz systemów struktur,

ze szczególnym naciskiem na:

morfizmy pomiędzy obiektami.[9]

80. Nie tylko „co to jest?”, ale „jak się mapuje?”

W języku kategorialnym bardzo często centralne staje się:

zachowanie struktur przez odwzorowania.

Obiekt poznajemy także poprzez:

sieć morfizmów.

To przesuwa ciężar:

OBIEKT

→

RELACJE TRANSFORMACYJNE.

81. Morfizm jest formalnym operatorem relacji

Nie jest:

agentem.

Określa:

strukturę przejścia lub zachowania.

To bardzo dobrze koresponduje z logodygmatycznym:

operatorem.

82. Funktor

Funktor przenosi:

obiekty i morfizmy jednej kategorii

do:

innej,

zachowując odpowiednią strukturę kompozycji i identyczności.

To formalny przypadek:

translacji organizacyjnej.

83. Matematyka zaczyna badać transformacje między całymi strukturami

To już nie:

analiza jednego obiektu.

Lecz:

STRUKTURA

↓

TRANSFORMACJA STRUKTURY

↓

RELACJA MIĘDZY TRANSFORMACJAMI.

To wyraźny ruch:

metaorganizacyjny.

84. Teoria kategorii nie jest po prostu „dowodem logodygmatu”

Trzeba to podkreślić.

Kategoria matematyczna:

posiada ścisłą definicję.

„Kategoria” logodygmatyczna:

mogłaby oznaczać coś szerszego.

Nie wolno mieszać:

formalizmu z metaforą.

85. Ale daje model tego, jak relacja może być pierwotna metodologicznie

Zamiast rekonstruować wszystko z:

wewnętrznej budowy obiektów,

można badać:

sposoby ich relacyjnego zachowania.

To jest ważna inspiracja.

86. Grothendieck

Rozwój geometrii algebraicznej w XX wieku, szczególnie prace Grothendiecka, jeszcze bardziej wzmocnił rolę:

struktur;

funktorów;

uniwersalnych własności;

zmian kategorii i baz.

Nie chodzi już wyłącznie o:

pojedynczy obiekt geometryczny.

Liczy się:

sieć jego realizacji i transformacji.

87. Tożsamość przez uniwersalną własność

W wielu obszarach matematyki obiekt może być określony:

nie przez konstrukcję materiałową,

lecz przez:

uniwersalną własność.

Wtedy wszystkie realizacje spełniające tę własność są:

jednoznaczne do odpowiedniego izomorfizmu.

88. To niezwykle czysta tożsamość organizacyjna

Nie pytamy:

z jakich zbiorów zrobiono obiekt?

Pytamy:

jakie relacje z innymi obiektami go charakteryzują?

To prawie idealna ilustracja:

relacyjnej essentia.

89. Matematyczna essentia strukturalna

Matematyczna essentia strukturalna jest zespołem relacji i własności niezmienniczych, dzięki którym różne realizacje mogą być traktowane jako realizacje jednego typu matematycznego niezależnie od przypadkowych własności ich reprezentacji.

To termin logodygmatyczny.

90. Matematyczne esse

Matematyczne esse jest konkretną realizacją, reprezentacją albo modelem struktury w określonym formalizmie.

Mamy więc:

ESSENTIA STRUKTURALNA

→ może posiadać wiele:

ESSE FORMALNYCH.

91. Ale matematyka idzie dziś jeszcze dalej

Univalent Foundations i homotopijna teoria typów podejmują problem:

relacji pomiędzy równością i równoważnością

w sposób fundamentalny.

Aksjomat uniwalencji Voevodsky’ego wiąże identyczność typów z ich odpowiednią równoważnością.[10]

92. To wyjątkowo istotne dla naszej teorii

Matematycy od dawna nieformalnie mówią:

„izomorficzne obiekty są zasadniczo takie same”.

W klasycznym fundamentowaniu pozostaje jednak różnica:

A = B

i:

A ≅ B.

93. Uniwalencja reorganizuje sam formalny status tej intuicji

W odpowiednim uniwersum typów zasada uniwalencji umożliwia traktowanie:

odpowiedniej równoważności jako związanej z identycznością w formalnym sensie teorii typów.[10]

To radykalna reorganizacja:

pojęcia matematycznej tożsamości.

94. „Równoważne” może zostać włączone do formalizmu identyczności

Nie jest to prosty slogan:

wszystko podobne jest identyczne.

Równoważność musi być:

odpowiednio zdefiniowana.

Ale filozoficznie rezultat jest ogromny.

95. Tożsamość nie jest już tylko relacją zero-jedynkową pomiędzy gotowymi atomami

Teoria typów z typami identyczności oraz homotopijna interpretacja pozwalają badać:

strukturę samych świadectw identyczności.[10]

To jest niezwykle dalekie od:

potocznego A=A.

96. Matematyka staje się laboratorium ontologii tożsamości

Nie dlatego, że:

rozstrzyga metafizykę świata fizycznego.

Lecz dlatego, że:

formalizuje wiele różnych sposobów rozumienia równoważności, identyczności i niezmienniczości.

To ma dla logodygmatu ogromną wartość.

97. Kolejna reorganizacja: dowód komputerowy

Przez wieki dowód kojarzył się z:

argumentem możliwym do prześledzenia przez matematyka.

Rozwój komputerowo wspomaganych dowodów oraz proof assistants zmienia:

praktyczną organizację weryfikacji.[11]

98. Czterokolorowe twierdzenie było ważnym historycznym momentem

Dowód wykorzystywał dużą liczbę przypadków sprawdzanych komputerowo.

Wywołało to filozoficzną dyskusję:

czy dowód zależny od komputerowej weryfikacji posiada ten sam epistemiczny status co tradycyjny dowód.[12]

99. Dowód przestaje być zawsze jednostkowo przejrzysty

Może istnieć dowód:

formalnie poprawny,

którego żaden człowiek nie obejmuje:

w całości jednym aktem poznawczym.

To reorganizuje:

relację dowód–rozumienie.

100. Dowód i wyjaśnienie rozchodzą się

Możemy mieć:

certyfikat formalnej poprawności

bez:

głębokiego matematycznego wyjaśnienia.

I odwrotnie:

intuicyjne wyjaśnienie może nie stanowić pełnego formalnego dowodu.

To dwa różne kryteria.

101. Proof assistants

Systemy takie jak:

Lean;

Coq/Rocq;

Isabelle

umożliwiają formalizowanie twierdzeń i dowodów w językach kontrolowanych przez małe lub względnie małe jądra weryfikujące poprawność kroków.[11]

102. Lean jako współczesny przykład

Lean jest interaktywnym systemem dowodzenia opartym na zależnej teorii typów. Jego kernel sprawdza termy dowodowe, podczas gdy wyższe warstwy automatyzacji mogą pomagać w ich konstruowaniu.[13]

To zmienia:

architekturę zaufania matematycznego.

103. Dawniej zaufanie koncentrowało się w społeczności

Matematyk:

publikuje dowód.

Inni:

go sprawdzają.

Dzisiaj możliwa staje się dodatkowa warstwa:

CZŁOWIEK

↓

FORMALIZACJA

↓

PROOF ASSISTANT

↓

KERNEL

↓

CERTYFIKACJA.

104. Nie oznacza to usunięcia człowieka

Człowiek nadal wybiera:

definicje;

reprezentacje;

aksjomaty;

strategie;

interesujące twierdzenia.

Automatyzacja reorganizuje:

podział pracy poznawczej.

105. Metaorganizacja formalnego poznania

Właśnie tutaj można zdefiniować kategorię tytułową:

Metaorganizacja formalnego poznania jest zdolnością matematyki do przekształcania nie tylko własnych twierdzeń i struktur, lecz także reguł, języków, fundamentów, systemów weryfikacji i kryteriów dopuszczalnego dowodu, za pomocą których wytwarza i kontroluje dalsze poznanie matematyczne.

To bardzo mocna postać:

metaorganizacji.

106. Matematyka zmienia sposób własnego zmieniania się

Nie tylko:

rozwiązuje nowe równanie.

Tworzy:

nowe logiki;

nowe aksjomaty;

nowe języki;

nowe fundamenty;

nowe systemy dowodzenia.

Czyli zmienia:

przestrzeń możliwych przyszłych matematyk.

107. Fundamenty nie są już oczywistym jednym fundamentem

Teoria mnogości ZFC pełni ogromną rolę.

Ale współczesna matematyka może również korzystać z:

teorii typów;

fundamentów kategorialnych;

Univalent Foundations.

Nie oznacza to:

że fundamenty są dowolne.

Oznacza:

pluralizację formalnej architektury.[3][10]

108. Tożsamość matematyki przeżywa zatem zmianę własnego fundamentu

To jest niezwykle ważne.

Jeżeli matematyka byłaby identyczna z:

jednym systemem aksjomatycznym,

każda zmiana fundamentu oznaczałaby:

powstanie nowej dziedziny.

Tak jednak:

nie funkcjonuje.

109. Matematyka jest szersza niż ZFC

ZFC jest:

bardzo silnym i powszechnie używanym fundamentem.

Ale:

„matematyka” nie jest po prostu synonimem konkretnej listy aksjomatów ZFC.

Tożsamość dziedziny:

istnieje na wyższym poziomie.

110. Tożsamość matematyki jest zatem metastrukturalna

Nie zależy od:

jednego nośnika;

jednego języka;

jednego systemu;

jednego fundamentu.

Zależy od:

ciągłości organizacji praktyk formalnych oraz zdolności translacji i reorganizacji.

111. Logos matematyczny

Możemy ponownie użyć wcześniejszej kategorii:

logosu.

Matematyczny logos obejmuje:

symbole;

definicje;

standardy dowodu;

klasyfikacje;

podręczniki;

teorie;

praktyki;

instytucje.

Dzięki temu twierdzenie może:

przekraczać życie jednego matematyka.

112. Matematyka posiada rozproszoną pamięć formalną

Dowód Euklidesa:

może być odczytany po tysiącach lat.

Nie dzięki:

pamięci biologicznej autora.

Dzięki:

stabilizacji semiotycznej i formalnej.

Matematyka jest więc wyjątkowo silnym przypadkiem:

społecznego logosu.

113. Ale logos matematyczny podlega reorganizacji

Symbol:

może się zmienić.

Definicja:

może zostać uogólniona.

Twierdzenie:

może zostać osadzone w szerszej teorii.

Oryginalny rezultat może zachować:

tożsamość problemową i inferencyjną.

114. Tożsamość twierdzenia

Co właściwie oznacza:

„to samo twierdzenie”?

Możemy mieć:

inną notację;

inny język;

inny formalizm;

inny dowód.

A mimo to mówić:

o tym samym matematycznym rezultacie.

115. Tożsamość syntaktyczna nie wystarcza

Dwa zdania:

mogą wyglądać inaczej

i być:

logicznie lub definicyjnie równoważne.

Zatem tożsamość treści:

nie jest tożsamością ciągu znaków.

116. Tożsamość semantyczno-inferencyjna twierdzenia

Tożsamość semantyczno-inferencyjna twierdzenia jest ciągłością jego miejsca w strukturze znaczeń i konsekwencji matematycznych mimo zmian notacji, definicji pomocniczych albo równoważnej reprezentacji formalnej.

To kolejna propozycja logodygmatu.

117. Dwa dowody tego samego twierdzenia nie są tym samym dowodem

To także ważne.

Dowód syntetyczny:

może różnić się zasadniczo od analitycznego.

Mogą jednak prowadzić:

do tej samej konkluzji.

Czyli:

TOŻSAMOŚĆ TWIERDZENIA

≠

TOŻSAMOŚĆ DOWODU.

118. Wiele dowodów zwiększa różnorodność generatywną

Drugi dowód nie jest zawsze:

zbędnym powtórzeniem.

Może ujawniać:

inne zależności;

inne struktury;

możliwość uogólnienia;

połączenie z inną dziedziną.

Matematyka rozwija się:

poprzez proliferację ścieżek inferencyjnych.

119. Przestrzeń dowodów

Możemy mówić o:

przestrzeni dowodowej

jako zbiorze różnych dopuszczalnych trajektorii inferencyjnych prowadzących do określonych rezultatów.

To interesujące rozwinięcie:

przestrzeni możliwości.

120. Matematyka nie jest więc liniowym drzewem dedukcji

Historycznie jest:

siecią.

Nowe pojęcie może:

uprościć stare dowody.

Nowa teoria może:

zunifikować wcześniej odrębne dziedziny.

Nowy formalizm może:

zmienić znaczenie starego problemu.

To przypomina:

spiralny rozwój poznania.

121. Powrót przy innej rozdzielczości

Matematycy wracają:

do dawnych pytań

z:

nowym językiem;

nowymi strukturami;

innymi narzędziami.

Problem nie jest:

prostym powtórzeniem.

To:

reorganizacja genealogii matematycznej.

122. Matematyka posiada wyjątkowo silną tożsamość transformatywną

Zmieniła:

obiekty;

aksjomaty;

fundamenty;

logikę;

pojęcie dowodu;

metody obliczeniowe.

A jednak historyczna genealogia:

pozostaje rozpoznawalna.

To idealny przypadek:

transformacyjnej tożsamości.

123. Ale co jest jej inwariantem?

Nie:

jeden system aksjomatów.

Nie:

jedna ontologia.

Nie:

jeden język.

Nie nawet:

jedna filozofia prawdy matematycznej.

Musimy szukać:

głębiej.

124. Kandydat pierwszy: formalna kontrola konsekwencji

Matematyka wymaga:

kontrolowanych przejść inferencyjnych.

Nie każda arbitralna transformacja zdań:

jest dopuszczalna.

To silny inwariant.

125. Kandydat drugi: abstrakcja struktur

Matematyka stale:

abstrahuje od przypadkowych własności.

Poszukuje:

relacji bardziej ogólnych.

To również:

historycznie silny inwariant.

126. Kandydat trzeci: niezmienniki

Matematyka nieustannie pyta:

co pozostaje niezmienne?

To może być jedna z jej najbardziej charakterystycznych operacji.

127. Kandydat czwarty: możliwość rekonstrukcji

Nowa teoria matematyczna często potrafi:

odtworzyć wcześniejsze rezultaty jako przypadki szczególne.

To tworzy:

genealogiczną ciągłość.

128. Translokacja starej teorii

Geometria euklidesowa nie znika po geometrii nieeuklidesowej.

Staje się:

jednym z członków szerszej rodziny struktur.

To można nazwać:

translokacją teorii do szerszego logosu.

129. Teoria może utracić monopol, zachowując tożsamość

To kapitalne.

Euklides:

przestaje być jedyną możliwą geometrią.

Nie przestaje:

być geometrią.

Czyli:

utrata wyłączności nie jest utratą tożsamości.

130. To samo może dotyczyć fundamentu

Teoria mnogości może utracić status:

jedynego filozoficznie wyobrażalnego fundamentu,

bez utraty:

własnej matematycznej ważności.

To bardzo logodygmatyczne.

131. Tożsamość nie wymaga hegemonii

System może zachować:

tożsamość

bez monopolizowania:

przestrzeni możliwości.

To matematyczne potwierdzenie wartości:

różnorodności generatywnej.

132. Matematyka jako system otwarty generatywnie

Nowe aksjomaty i struktury:

nie muszą niszczyć starych.

Mogą:

rozszerzać;

reinterpretować;

osadzać;

translokować.

To jedna z podstawowych cech:

rozwoju matematycznego.

133. Matematyczna śmierć organizacyjna?

Czy teoria matematyczna może:

umrzeć?

Nie w takim sensie jak organizm.

Może jednak:

utracić produktywność, praktykę i pozycję w aktywnym logosie.

Jej teksty:

nadal istnieją.

134. Formalna prawdziwość może przetrwać śmierć praktyki

To wyjątkowa cecha matematyki.

Teoria może przestać być:

badawczo centralna,

ale jej poprawnie wyprowadzone wyniki:

nie stają się automatycznie fałszywe.

To odróżnia matematykę od wielu innych systemów.

135. Tożsamość matematyki ma więc dwa poziomy

ponadczasowo-formalny

relacje wynikania w określonych strukturach;

historyczno-genealogiczny

rozwój rzeczywistej praktyki matematycznej.

Ich pomieszanie:

prowadzi do błędów.

136. Matematyka jako przedmiot i matematyka jako działalność

Musimy odróżnić:

MATEMATYCZNE STRUKTURY

od:

HISTORYCZNEJ MATEMATYKI LUDZI.

Pierwsze mogą być interpretowane:

realistycznie, formalistycznie, strukturalistycznie itd.

Drugie:

niewątpliwie posiada historię.

137. Matematyka może być wieczna w jednym sensie i historyczna w drugim

Twierdzenie:

może być prawdziwe niezależnie od daty odkrycia.

Ale:

możliwość jego sformułowania, dowodu i zrozumienia

posiada:

konkretną historię.

To bardzo ważne rozróżnienie.

138. Ontologia i epistemologia matematyki rozchodzą się

Platonista może powiedzieć:

struktury są odkrywane.

Formalista:

akcentować formalne systemy.

Konstruktywista:

sposób konstrukcji.

Strukturalista:

relacje.[14]

Logodygmat nie musi:

rozstrzygać tego sporu.

139. Interesuje nas invariant ponad sporem ontologicznym

Niezależnie od stanowiska:

matematyka wytwarza kontrolowane struktury, relacje i dowody.

To jest:

wystarczająco mocny poziom do analizy organizacyjnej.

140. Tabela genealogiczna

141. Trzy rodzaje matematycznej reorganizacji

Reorganizacja pierwszego rzędu

Zmieniają się:

obiekty lub twierdzenia w obrębie teorii.

Reorganizacja drugiego rzędu

Zmienia się:

system aksjomatów lub klasa modeli.

Reorganizacja trzeciego rzędu

Zmieniają się:

kryteria budowania, uzasadniania i porównywania samych teorii.

To jest:

metaorganizacja.

142. Matematyczna metaorganizacja jest wyjątkowo rozwinięta

Matematyka posiada osobne dziedziny badające:

logikę;

dowód;

modele;

fundamenty;

kategorie;

obliczalność.

Czyli:

własne operatory stają się przedmiotem kolejnych operatorów.

To silny przypadek:

autoreferencyjnej metaorganizacji poznania.

143. Ale Gödel pokazuje granicę autoreferencji

System:

może kodować własną składnię.

Nie wynika z tego:

możliwość całkowitego samodomknięcia.

To zabezpiecza logodygmat przed naiwną tezą:

metaorganizacja = pełna samowiedza.

Nie.

144. Metaorganizacja nie oznacza omnipotencji

System może:

zmieniać własne reguły

bez możliwości:

ostatecznego uzasadnienia całej swojej architektury z wewnątrz.

To ważne również poza matematyką.

145. Matematyka uczy więc pokory metaorganizacyjnej

Im silniejszy formalizm:

tym bardziej trzeba rozróżniać:

poziom obiektowy;

metapoziom;

konsekwencje;

granice systemu.

To może zostać przeniesione:

do całego logodygmatu.

146. Główna korekta pojęcia tożsamości

Dotąd mówiliśmy:

tożsamość = genealogiczna ciągłość organizacji.

Matematyka pozwala doprecyzować:

ciągłość czego?

Odpowiedź:

określonych inwariantów względem klasy dopuszczalnych transformacji.

147. Tożsamość jest więc trójargumentowa

Najprościej:

TOŻSAMOŚĆ(system, kryterium, klasa transformacji).

To nie jest jeszcze:

formalna teoria logodygmatu.

Ale daje ważny schemat.

148. Potrzebujemy również rozdzielczości

Ta sama transformacja może być:

istotna na jednym poziomie,

a:

nieistotna na innym.

Dlatego pełniej:

TOŻSAMOŚĆ = inwarianty + klasa transformacji + kryterium + rozdzielczość.

To może być nowy fundament modułu tożsamości.

149. Definicja matematycznej tożsamości strukturalnej

Matematyczna tożsamość strukturalna jest zachowaniem właściwości i relacji konstytutywnych względem określonej klasy transformacji, dzięki czemu różne realizacje mogą być traktowane jako reprezentacje jednej struktury mimo braku numerycznej identyczności ich elementów.

150. Definicja matematycznej tożsamości genealogicznej

Genealogiczna tożsamość matematyki jest historycznie reprodukowaną ciągłością praktyk abstrahowania, definiowania, formalizowania, dowodzenia, modelowania i badania struktur, dzięki której radykalne zmiany obiektów, języków, aksjomatów i fundamentów mogą być traktowane jako reorganizacje jednej tradycji matematycznego poznania.

151. Definicja aksjomatycznej przestrzeni możliwości

Aksjomatyczna przestrzeń możliwości jest przestrzenią modeli, relacji i inferencyjnych konsekwencji dopuszczonych przez określony język, układ aksjomatów i reguły wnioskowania.

Dodanie lub usunięcie aksjomatu:

reorganizuje tę przestrzeń.

152. Definicja formalnego operatora

Formalny operator jest dopuszczalną regułą transformacji wyrażeń, struktur lub dowodów, która określa osiągalność kolejnych stanów formalnych bez konieczności przypisywania operatorowi sprawczości.

To matematyczny odpowiednik:

operatora logodygmatycznego.

153. Definicja inwariantu tożsamości

Inwariant tożsamości jest taką własnością, relacją lub strukturą, której zachowanie względem przyjętej klasy transformacji stanowi warunek kwalifikowania różnych realizacji albo stanów jako należących do jednej klasy tożsamościowej.

To jedna z najważniejszych definicji całego tekstu.

154. Definicja reorganizacji matematycznej

Reorganizacja matematyczna jest transformacją języka, aksjomatów, reprezentacji, struktur lub reguł inferencji, która zmienia przestrzeń matematycznych możliwości, niekoniecznie przerywając genealogiczną ciągłość dziedziny ani ważność wcześniejszych rezultatów w ich właściwych domenach.

155. Definicja metaorganizacji formalnego poznania

Metaorganizacja formalnego poznania jest zdolnością matematyki do czynienia własnych języków, aksjomatów, modeli, dowodów i kryteriów poprawności przedmiotem formalnej analizy oraz do konstruowania nowych reguł i fundamentów reorganizujących sposób generowania dalszej wiedzy matematycznej.

156. Definicja formalnej inwersji

Inwersja formalna zachodzi wtedy, gdy reprezentacja, aksjomatyka albo narzędzie formalne stworzone do organizowania określonej dziedziny matematycznej zostaje bez dodatkowego argumentu utożsamione z jedyną możliwą ontologią tej dziedziny.

Przykład ogólny:

konkretna teoriomnogościowa realizacja liczby ≠ koniecznie metafizyczna istota liczby.

157. Definicja meta-inwariantu

Możemy pójść jeszcze dalej:

Meta-inwariant matematyki jest własnością jej praktyki, która pozostaje reprodukowana pomimo zmian konkretnych inwariantów, aksjomatów i formalizmów.

Kandydatami są:

rygor inferencyjny;

strukturalność;

abstrahowanie;

poszukiwanie niezmienników;

możliwość kontroli dowodu.

158. Matematyka jest więc systemem, który zmienia własne inwarianty lokalne, zachowując inwarianty wyższego rzędu

To bardzo ciekawa konstrukcja.

W geometrii:

zmieniają się lokalne założenia.

Na poziomie matematyki:

pozostaje praktyka aksjomatycznego badania konsekwencji.

Czyli:

meta-tożsamość może przetrwać zmianę tożsamości poziomu niższego.

159. Hierarchia inwariantów

Możemy zapisać:

INWARIANT OBIEKTU

↓

INWARIANT TEORII

↓

INWARIANT METODY

↓

META-INWARIANT MATEMATYKI.

To może być szczególnie ważne dla całej teorii:

emergencji tożsamości.

160. Tożsamość nie musi mieć jednego poziomu

System może:

utracić inwariant niższego rzędu,

ale:

zachować inwariant wyższego rzędu.

To dokładnie przypadek:

tożsamości transformatywnej.

161. Dwadzieścia pięć tez

Teza pierwsza

Matematyczna identyczność nie jest jednym pojęciem; trzeba rozróżniać równość, izomorfizm i inne formy równoważności.

Teza druga

Różne teoriomnogościowe reprezentacje mogą realizować tę samą strukturę matematyczną.

Teza trzecia

Tożsamość liczby nie musi zależeć od przypadkowej budowy jej konkretnej reprezentacji.

Teza czwarta

Aksjomaty mogą pełnić funkcję ograniczeń wyznaczających klasy modeli, a nie wyłącznie oczywistych prawd początkowych.

Teza piąta

Zmiana aksjomatu może reorganizować całą przestrzeń modeli i konsekwencji.

Teza szósta

Pluralizacja geometrii jest przykładem rozszerzenia tożsamości matematyki poprzez reorganizację.

Teza siódma

Dowód można analizować jako trajektorię inferencyjnej osiągalności.

Teza ósma

Metamatematyka jest formą matematycznej autoreferencji.

Teza dziewiąta

Twierdzenia Gödla ograniczają możliwość określonych form pełnego formalnego samodomknięcia.

Teza dziesiąta

Niezupełność nie oznacza upadku matematyki, lecz reorganizację programu jej fundamentowania.

Teza jedenasta

Prawda w modelu i dowodliwość w teorii są kategoriami odmiennymi.

Teza dwunasta

Paradoks Skolema pokazuje znaczenie rozróżnienia poziomu wewnętrznego i metapoziomu.

Teza trzynasta

Niezależność CH od ZFC zmienia pytanie z problemu zwykłego dowodu na problem wyboru lub rozszerzenia architektury aksjomatycznej.

Teza czternasta

Matematyczny inwariant jest naturalnym formalnym wzorcem pojęcia tożsamości poprzez transformację.

Teza piętnasta

Tożsamość strukturalna zawsze wymaga wskazania klasy transformacji, względem której struktura pozostaje niezmienna.

Teza szesnasta

Izomorficzne obiekty mogą być numerycznie różne, ale reprezentować tę samą strukturę.

Teza siedemnasta

Teoria kategorii przesuwa analizę od wewnętrznej budowy obiektów ku morfizmom i relacjom pomiędzy strukturami.

Teza osiemnasta

Uniwalentne fundamenty pokazują możliwość formalnego jeszcze silniejszego związania identyczności z odpowiednio rozumianą równoważnością.

Teza dziewiętnasta

Dowód i wyjaśnienie matematyczne nie są identycznymi kategoriami.

Teza dwudziesta

Proof assistants reorganizują społeczne i formalne kryteria weryfikacji dowodów, nie eliminując matematyka.

Teza dwudziesta pierwsza

Matematyka nie jest identyczna z jednym systemem fundamentów.

Teza dwudziesta druga

Jej genealogiczna tożsamość może przetrwać reorganizację własnych fundamentów.

Teza dwudziesta trzecia

Metaorganizacja matematyki polega na zdolności zmieniania reguł generowania i weryfikowania formalnej wiedzy.

Teza dwudziesta czwarta

Tożsamość systemu należy analizować przez relację pomiędzy inwariantami i dopuszczalnymi transformacjami.

Teza dwudziesta piąta

Matematyka może dostarczyć formalnego języka dla dalszej teorii logodygmatycznej tożsamości.

162. Najważniejsze przejście do całego logodygmatu

Dotychczas centralna definicja brzmiała:

Tożsamość systemu jest relacyjnie kwalifikowaną ciągłością transformacji, w której kolejne stany lub organizacje zostają — według określonego kryterium i przy określonej rozdzielczości — traktowane jako realizacje historii tego samego systemu.

Matematyka pozwala ją doprecyzować.

163. Nowa wersja

Tożsamość systemu poprzez reorganizację jest relacyjnie kwalifikowaną ciągłością transformacji, w której określone inwarianty organizacyjne pozostają zachowane lub równoważnie reprodukowane względem klasy transformacji uznanych przy danym kryterium i rozdzielczości za dopuszczalne, dzięki czemu różne stany mogą być kwalifikowane jako fazy jednej genealogii systemu.

To jest:

mocniejsza definicja.

164. Dodaje brakujący element: transformację

Nie wystarczy powiedzieć:

„coś pozostaje”.

Musimy powiedzieć:

względem czego pozostaje?

Czyli:

INWARIANT

bez:

KLASY TRANSFORMACJI

jest pojęciem niepełnym.

165. Przykład Ziemi

Transformacjami dopuszczalnymi dla planetarnej tożsamości mogą być:

ruch kontynentów;

zmiany atmosfery;

transformacje biosfery.

Inwariantem nie jest:

aktualny kształt kontynentów.

Jest nim:

głębsza genealogiczna organizacja planetarna.

166. Przykład człowieka

Transformacje:

wymiana komórek;

zmiana wieku;

pamięci;

ról społecznych.

Nie każda transformacja:

zachowuje osobową tożsamość.

Pytanie brzmi:

które inwarianty genealogiczne i organizacyjne są konstytutywne?

167. Przykład religii

Zmiana:

języka;

rytuału;

instytucji

może być:

dopuszczalna.

Ale pewien poziom reorganizacji:

może utworzyć nową genealogię.

Znów potrzebujemy:

klasy transformacji i inwariantów.

168. Przykład kwantowy

Formalna permutacja identycznych kwantów:

może pozostawiać wszystkie fizyczne przewidywania niezmienne.

Wtedy fizyczna struktura:

jest inwariantem permutacji.

To bardzo czysty przykład:

tożsamości względem transformacji.

169. Przykład czasu

Jeżeli czas przechodzi od:

globalnego modelu Newtonowskiego

do:

relatywistycznej struktury,

musimy rozdzielić:

zmianę modelu od postulowanych inwariantów temporalności.

Znów:

tożsamość wymaga kryterium.

170. Matematyka integruje więc cały cykl

CZŁOWIEK

↓

RELIGIA

↓

PIENIĄDZ

↓

ZIEMIA

↓

ŚWIAT

↓

CZAS

↓

KWANT

↓

MATEMATYKA

prowadzą do jednego pytania:

co pozostaje niezmienne względem transformacji, które uznajemy za dopuszczalne dla zachowania genealogii?

171. I tu następuje najważniejsza korekta

Nie istnieje:

„tożsamość sama w sobie”

w sensie kompletnego kryterium bez wskazania poziomu.

Potrzebujemy:

przedmiotu;

rozdzielczości;

klasy transformacji;

inwariantów;

kryterium genealogicznego.

Dopiero wtedy pytanie:

„czy to nadal ten sam system?”

uzyskuje:

operacyjną treść.

172. Tożsamość jako klasa równoważności?

Można zapytać, czy logodygmat powinien formalizować tożsamość jako:

relację równoważności.

Byłoby to kuszące.

Ale trzeba uważać.

173. Genealogiczna tożsamość nie musi być prostą relacją równoważności

Transformacje historyczne mogą:

bifurkować;

łączyć genealogie;

tworzyć systemy następcze;

zanikać.

Transytywność lub symetryczność:

nie muszą zachowywać się banalnie.

Dlatego matematyczna analogia:

nie może zostać mechanicznie przepisana.

174. Matematyka dostarcza narzędzi, nie gotowej ontologii świata

To fundamentalne zastrzeżenie.

Izomorfizm:

jest dokładnie zdefiniowaną kategorią formalną.

Tożsamość człowieka:

nie jest izomorfizmem.

Logodygmat może jednak uczyć się:

sposobu konstrukcji kryteriów.

175. Formalizacja musi przyjść po ontologicznej analizie

Nie:

najpierw równanie, potem rzeczywistość.

Lecz:

najpierw określenie problemu, potem adekwatny formalizm.

To zabezpiecza przed:

inwersją modelową.

176. Matematyka sama uczy tej ostrożności

Ten sam obiekt może posiadać:

różne reprezentacje.

Model:

nie jest obiektem.

Aksjomaty:

nie są automatycznie metafizyką świata.

To właśnie matematyka pokazuje:

wyjątkowo precyzyjnie.

177. Zakończenie

Matematyka wydaje się początkowo najmniej odpowiednim przedmiotem dla teorii:

tożsamości poprzez reorganizację.

Przecież:

2 pozostaje 2.

Twierdzenie:

pozostaje twierdzeniem.

Dowód:

albo jest poprawny, albo nie.

Ale im głębiej wchodzimy w historię i fundamenty matematyki, tym mniej oczywisty staje się ten obraz.

Czym jest:

2?

Konkretnym zbiorem?

Pozycją w strukturze?

Elementem typu?

Czy różne izomorficzne realizacje liczb naturalnych są:

„tym samym” systemem?

Czy dwie izomorficzne grupy są:

różne,

czy:

takie same w matematycznie istotnym sensie?

Czy geometria euklidesowa straciła tożsamość, gdy powstały:

geometrie nieeuklidesowe?

Nie.

Straciła:

monopol.

Została:

translokowana do większej przestrzeni struktur.

Hilbert zrobił kolejny krok.

Aksjomat przestał być wyłącznie:

zdaniem oczywistym o uprzednio znanym przedmiocie.

Mógł stać się:

elementem organizującym klasę struktur.

Następnie matematyka uczyniła przedmiotem:

własne dowody.

Powstała:

metamatematyka.

Gödel pokazał:

granice określonego projektu formalnego domknięcia.

Matematyka nie umarła.

Zmieniła:

własną organizację fundamentowania.

Skolem pokazał:

różnicę pomiędzy wnętrzem modelu a metapoziomem.

Gödel i Cohen:

niezależność fundamentalnego pytania od standardowego systemu aksjomatycznego.

Ponownie matematyka nie rozpadła się.

Otworzyła:

nową przestrzeń modeli.

Strukturalizm przesunął pytanie:

od „z czego zbudowany jest obiekt?”

do:

„jakie miejsce zajmuje w strukturze?”

Teoria kategorii poszła dalej:

od obiektu ku morfizmom pomiędzy obiektami.

Univalent Foundations pokazują jeszcze radykalniejszą możliwość:

formalnego związania odpowiednio rozumianej równoważności z identycznością.

A proof assistants zaczynają dziś reorganizować:

samo kryterium technicznej kontroli dowodu.

Wszystkie te przemiany łączy jeden paradoks.

Matematyka:

ciągle zmienia własne fundamenty,

a zarazem:

wydaje się jednym z najbardziej stabilnych przedsięwzięć poznawczych człowieka.

Dlaczego?

Być może dlatego, że jej tożsamość nie znajduje się:

w żadnym pojedynczym fundamencie.

Nie znajduje się:

w jednej notacji.

Nie znajduje się:

w jednym systemie aksjomatów.

Nie znajduje się nawet:

w jednej ontologii obiektów matematycznych.

Jej tożsamość znajduje się raczej w zdolności do:

abstrahowania;

zachowywania konsekwencji;

badania struktur;

rozpoznawania niezmienników;

kontrolowania inferencji;

translacji pomiędzy reprezentacjami;

tworzenia metapoziomów;

reorganizowania własnych warunków formalnego poznania.

Wtedy matematyka okazuje się systemem:

metaorganizacyjnie otwartym.

Nie tylko generuje nowe zdania.

Generuje:

nowe sposoby generowania zdań.

Nie tylko bada struktury.

Tworzy:

nowe pojęcia struktury.

Nie tylko dowodzi.

Formalizuje:

czym jest dowód.

Nie tylko używa tożsamości.

Reorganizuje:

samo pojęcie matematycznej identyczności.

I dlatego być może najważniejsze odkrycie tego tekstu nie dotyczy:

matematyki.

Dotyczy:

całego logodygmatu.

Dotychczas pytaliśmy:

co pozostaje, gdy system się zmienia?

Matematyka każe postawić pytanie bardziej precyzyjnie:

co pozostaje niezmienne względem jakiej klasy transformacji?

To zmienia strukturę teorii.

Nie wystarcza już:

SYSTEM

→ ZMIANA

→ TOŻSAMOŚĆ.

Potrzebujemy:

SYSTEM

↓

PRZESTRZEŃ TRANSFORMACJI

↓

KLASA TRANSFORMACJI DOPUSZCZALNYCH

↓

INWARIANTY

↓

KRYTERIUM

↓

ROZDZIELCZOŚĆ

↓

GENEALOGICZNA KWALIFIKACJA

↓

TOŻSAMOŚĆ.

I być może właśnie tutaj matematyka dostarcza logodygmatowi brakującego formalnego elementu.

Możemy bowiem powiedzieć:

Tożsamość nie jest niezmiennością wszystkiego. Jest zachowaniem tego, co przy określonym kryterium pozostaje inwariantem względem transformacji, które system może przejść bez utraty swojej genealogicznej kwalifikacji.

Ale matematyka dodaje jeszcze jeden poziom.

System może:

zmienić same inwarianty niższego rzędu,

a mimo to zachować:

meta-inwariant organizacji wyższego poziomu.

I właśnie dlatego geometria może zmienić:

aksjomaty,

matematyka może zmienić:

fundamenty,

dowód może zmienić:

technologiczny sposób weryfikacji,

a jednak nadal mówimy:

matematyka.

Nie pozostaje ona:

taka sama.

Pozostaje:

tą samą genealogią formalnego poznania poprzez zdolność reorganizowania własnych sposobów zachowywania struktury, prawdy i dowodu.

Najkrócej:

Matematyka pokazuje, że tożsamość nie polega na braku transformacji. Polega na istnieniu odpowiednich niezmienników transformacji.

A jeszcze głębiej:

dojrzała tożsamość systemu może polegać na zdolności do reorganizowania własnych lokalnych inwariantów przy zachowaniu meta-inwariantów, dzięki którym kolejne formy nadal należą do jednej genealogii.

To już prowadzi:

od teorii tożsamości

do:

ogólnej teorii inwariantów organizacyjnych logodygmatu.

Przypisy

[1] Współczesna filozofia matematyki obejmuje konkurencyjne stanowiska dotyczące przedmiotu matematyki — m.in. platonizm, formalizm, strukturalizm i konstruktywizm. Szczególnie istotny dla niniejszego tekstu jest strukturalizm, zgodnie z którym współczesne teorie matematyczne charakteryzują przede wszystkim struktury.

[2] Paul Benacerraf w „What Numbers Could Not Be” (1965) zwrócił uwagę na wielość równoważnych teoriomnogościowych realizacji liczb naturalnych. Współczesny strukturalizm wykorzystuje ten problem jako argument za traktowaniem liczb jako pozycji w strukturze, a nie obiektów utożsamionych absolutnie z jedną konstrukcją zbiorową.

[3] Strukturalizm matematyczny sam napotyka problem identyczności w strukturach posiadających nietrywialne automorfizmy: mogą istnieć różne elementy strukturalnie nierozróżnialne. SEP omawia m.in. przypadek i oraz −i oraz szerszy „identity problem” dla nieeliminacyjnego strukturalizmu.

[4] Hilbertowskie Grundlagen der Geometrie z 1899 r. stanowiło punkt zwrotny nowoczesnej aksjomatyki. Podstawowe terminy teorii mogły być reinterpretowane, a system aksjomatów ujmowany jako określający strukturę relacji; umożliwiało to systematyczne badanie spójności i niezależności.

[5] Program Hilberta zakładał formalizację klasycznej matematyki oraz wykazanie niesprzeczności odpowiednich systemów metodami finitystycznymi. Jego poszczególne cele i ich późniejszy los wymagają precyzyjnego rozróżnienia; nie należy redukować programu Hilberta do jednego prostego postulatu.

[6] Pierwsze twierdzenie Gödla o niezupełności pokazuje, w odpowiednich warunkach, niezupełność dostatecznie silnych efektywnie aksjomatyzowanych systemów arytmetycznych. Drugie twierdzenie ogranicza możliwość dowodzenia przez taki system jego własnej niesprzeczności przy standardowych warunkach formalizacji. Wyniki te miały zasadnicze znaczenie dla pierwotnej postaci programu Hilberta.

[7] Paradoks Skolema wynika z zestawienia twierdzenia Löwenheima–Skolema z możliwością formalizowania w teorii mnogości istnienia zbiorów nieprzeliczalnych. Nie jest sprzecznością: różnica dotyczy perspektywy modelu i metateorii oraz dostępności odpowiednich odwzorowań. Skolem sam wiązał wynik z „relatywnością” pojęć teoriomnogościowych.

[8] Gödel w 1937 r. wykazał odpowiedni wynik względnej zgodności CH z ZF/ZFC, natomiast Cohen w 1963 r., rozwijając metodę forcingu, wykazał niezależność w przeciwnym kierunku. Łącznie wyniki prowadzą do niezależności CH od ZFC, przy założeniu jego niesprzeczności. Spowodowało to głębokie dyskusje pomiędzy pluralistycznymi i niepluralistycznymi ujęciami teorii mnogości.

[9] Teoria kategorii jest współcześnie jednym z podstawowych języków badania struktur oraz relacji pomiędzy strukturami. Centralną rolę pełnią w niej morfizmy, funktory i uniwersalne konstrukcje. Nie oznacza to, że teoria kategorii posiada jedną uzgodnioną interpretację filozoficzną lub musi zastąpić teorię mnogości jako fundament.

[10] Univalent Foundations i homotopijna teoria typów wprowadzają szczególnie interesującą reorganizację problemu identyczności. Aksjomat uniwalencji wiąże identyczność typów z odpowiednią równoważnością; dla odpowiednich struktur pozwala to formalizować intuicję, że izomorficzne lub równoważne struktury mogą być traktowane jako identyczne w silniejszym sensie niż w tradycyjnym fundamentowaniu teoriomnogościowym.

[11] Współczesna filozofia praktyki matematycznej zwraca uwagę na rozwój interaktywnych systemów dowodzenia, takich jak Lean, Coq/Rocq i Isabelle, w których nieformalne argumenty matematyczne mogą zostać rozwinięte w formalnie weryfikowalne termy dowodowe.

[12] Dowód twierdzenia o czterech barwach z 1976 r., wykorzystujący komputerowe sprawdzanie wielu przypadków, stał się klasycznym punktem odniesienia debaty o epistemicznym statusie dowodów komputerowych i relacji między formalną poprawnością, ludzką kontrolą i rozumieniem.

[13] Lean jest współczesnym interaktywnym systemem dowodzenia opartym na zależnej teorii typów. Jego architektura wykorzystuje stosunkowo małe jądro sprawdzające termy dowodowe, podczas gdy automatyzacja działa w wyższych warstwach i generuje termy następnie weryfikowane przez kernel.

[14] Nie istnieje jeden powszechnie uzgodniony filozoficzny opis ontologii matematyki. Platonizm, formalizm, konstruktywizm i różne warianty strukturalizmu pozostają stanowiskami konkurencyjnymi. Logodygmat nie rozstrzyga tego sporu, lecz analizuje organizacyjne własności wspólne wielu praktykom matematycznym.

[15] Kategorie „pozycjonalna tożsamość matematyczna”, „aksjomatyczna przestrzeń możliwości”, „matematyczna osiągalność”, „inwariant tożsamości”, „matematyczna essentia strukturalna”, „matematyczne esse”, „meta-inwariant”, „translokacja teorii”, „formalna inwersja” i „metaorganizacja formalnego poznania” są w przedstawionych znaczeniach propozycjami terminologicznymi logodygmatu.

[16] Pojęcie inwariantu jest w artykule celowo rozszerzane z jego ścisłych zastosowań matematycznych na poziom metaontologiczny. Nie oznacza to, że genealogiczna tożsamość człowieka, religii lub Ziemi jest literalnym matematycznym izomorfizmem. Chodzi o wykorzystanie struktury pojęciowej: transformacja–niezmiennik–kryterium.

[17] Matematyczne „to samo do izomorfizmu” nie jest identycznością numeryczną. W strukturalistycznej praktyce różne systemy izomorficzne mogą być jednak traktowane jako równie dobre realizacje jednej struktury.

[18] Nie wszystkie własności reprezentacji teoriomnogościowej są strukturalnie istotne. Współczesne dyskusje nad strukturalizmem kategorialnym i Univalent Foundations próbują właśnie formalnie ograniczać znaczenie własności zależnych od przypadkowej budowy reprezentacji. Debata pozostaje aktywna.

[19] Formalizacja komputerowa nie usuwa problemu wyboru fundamentów. Lean opiera się na określonej zależnej teorii typów, a inne proof assistants mogą wykorzystywać odmienne podstawy formalne. Weryfikacja przez kernel jest zatem zawsze weryfikacją względem określonej architektury formalnej.

[20] Rozróżnienie „dowód–wyjaśnienie” jest metodologiczne. Formalnie zweryfikowany dowód może gwarantować określony rezultat bez dostarczania najbardziej wartościowej dla matematyka konceptualnej przyczyny, dlaczego twierdzenie zachodzi. Współczesna filozofia praktyki matematycznej coraz szerzej bada takie różnice.

[21] Związanie aksjomatu z „operatorem modalnym” jest logodygmatyczną interpretacją. W matematyce aksjomat jest zdaniem lub zasadą systemu formalnego; w artykule podkreślamy dodatkowo jego funkcję organizowania klasy modeli i przestrzeni konsekwencji.

[22] Określenie matematyki jako systemu „metaorganizacyjnie otwartego” odnosi się do historycznie obserwowalnej zdolności tworzenia nowych fundamentów, metateorii i kryteriów formalizacji. Nie oznacza tezy, że każda dowolna zmiana reguł nadal jest matematyką.

[23] Proponowana formuła „tożsamość = inwarianty + klasa transformacji + kryterium + rozdzielczość” ma status programu formalizacyjnego logodygmatu. Nie jest jeszcze aksjomatem ani twierdzeniem matematycznym.

[24] Szczególnie ważnym ograniczeniem jest to, że genealogiczna tożsamość systemów historycznych może nie spełniać wszystkich własności matematycznej relacji równoważności. Formalizacja musi więc uwzględnić bifurkacje, asymetrię następstwa i możliwość systemów następczych zamiast bezpośrednio kopiować pojęcie izomorfizmu.

Bibliografia podstawowa

Benacerraf P., „What Numbers Could Not Be”, Philosophy of Science 32, 1965.

Cohen P.J., „The Independence of the Continuum Hypothesis”, Proceedings of the National Academy of Sciences 50, 1963.

Gödel K., „Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”, Monatshefte für Mathematik und Physik 38, 1931.

Gödel K., The Consistency of the Continuum Hypothesis, Princeton University Press, 1940.

Hilbert D., Grundlagen der Geometrie, 1899.

Hilbert D., „Die Grundlagen der Mathematik”, 1927.

Mac Lane S., Categories for the Working Mathematician, Springer.

Shapiro S., Philosophy of Mathematics: Structure and Ontology, Oxford University Press, 1997.

The Univalent Foundations Program, Homotopy Type Theory: Univalent Foundations of Mathematics, Institute for Advanced Study, 2013.

„Structuralism in the Philosophy of Mathematics”, Stanford Encyclopedia of Philosophy, rewizja 2025.

„Kurt Gödel”, Stanford Encyclopedia of Philosophy, rewizja 2025.

„Formalism in the Philosophy of Mathematics”, Stanford Encyclopedia of Philosophy.

„Skolem’s Paradox”, Stanford Encyclopedia of Philosophy.

„The Continuum Hypothesis”, Stanford Encyclopedia of Philosophy.

„Category Theory”, Stanford Encyclopedia of Philosophy.

„Type Theory”, Stanford Encyclopedia of Philosophy, część dotycząca Univalent Foundations.

„The Philosophy of Mathematical Practice”, Stanford Encyclopedia of Philosophy, rewizja 2026.

Lean Project, The Lean Language Reference oraz Theorem Proving in Lean 4.