Wlod
2020-10-31 07:32:00 UTC
Kurt Godel w Hollywood kariery nie zrobił, ale szereg osób na p.s.m. podnieca się Godlem i bełkocze z przejęcia.
Mogę, swoimi słowami (z własnymi domieszkami), przedstawić program Hilberta, by mozna było sensownie mówić o miejscu geometrii Euklidesowej, itp. w matematyce.
-- Włodek
PS. Z powodów historycznych dodam, że podobny (nie identyczny, ale równie wartościowy) program, jak sam Hilbert, miał też Emil Leon Post. Już wcześniej wspomniałem, że wciąż jest największym logikiem matematycznym wszechczasów, bowiem:
1.sformalizował matematykę niezależnie od Hilberta;
2. pokazał, że nie da się udowodnić niesprzeczności arytmetyki liczb naturalnych PRZED Godlem;
3. niezależnie od Turinga wprowadził pojęcie równoważne uniwersalnej maszynie Turinga i pojęcie algorytmu.
Ponadto, czego ludzie nie doceniają, jakże niesłusznie, Post udowodnił zasadnicze twierdzenie elementarnego rachunku zdań (twierdzenie = tautologie). Wiedzcie, że minimalne zmiany w układzie elementarnych aksjomatów logicznych prowadzą dom wielkich trudność, gdy trzeba pokazać, że taki układ jest albo nie jest równoważny z klasycznym. Czyli twierdzenie Posta (prawie nikt nie wie, że Posta) wcale nie jest trywialne. Spróbujcie znależć PEŁNY dowód tego twierdzenia w podręcznikach logiki.
Mnie sie to jeszcze nie udało!!! Wszystkie dowody, które czytałem, są albo tylko szkicami, albo są LIPNE.
Na dodatek, wprowadził w to wszystko algebre. itd.
Mogę, swoimi słowami (z własnymi domieszkami), przedstawić program Hilberta, by mozna było sensownie mówić o miejscu geometrii Euklidesowej, itp. w matematyce.
-- Włodek
PS. Z powodów historycznych dodam, że podobny (nie identyczny, ale równie wartościowy) program, jak sam Hilbert, miał też Emil Leon Post. Już wcześniej wspomniałem, że wciąż jest największym logikiem matematycznym wszechczasów, bowiem:
1.sformalizował matematykę niezależnie od Hilberta;
2. pokazał, że nie da się udowodnić niesprzeczności arytmetyki liczb naturalnych PRZED Godlem;
3. niezależnie od Turinga wprowadził pojęcie równoważne uniwersalnej maszynie Turinga i pojęcie algorytmu.
Ponadto, czego ludzie nie doceniają, jakże niesłusznie, Post udowodnił zasadnicze twierdzenie elementarnego rachunku zdań (twierdzenie = tautologie). Wiedzcie, że minimalne zmiany w układzie elementarnych aksjomatów logicznych prowadzą dom wielkich trudność, gdy trzeba pokazać, że taki układ jest albo nie jest równoważny z klasycznym. Czyli twierdzenie Posta (prawie nikt nie wie, że Posta) wcale nie jest trywialne. Spróbujcie znależć PEŁNY dowód tego twierdzenia w podręcznikach logiki.
Mnie sie to jeszcze nie udało!!! Wszystkie dowody, które czytałem, są albo tylko szkicami, albo są LIPNE.
Na dodatek, wprowadził w to wszystko algebre. itd.