|
|
Nie dokładnie chodzi o konstruktywizm. Chodzi o dostosowanie języka w taki sposób, żeby można było wyrażać rzeczy tak, jak to robi informatyka. Dynamicznie i efektywnie. Pokazałem przecież, że… |
|
|
@EzE. W kwestii języka jest jeszcze to ;)))
youtube.com
Teoria typów jako język programowania. To wiele zmienia w obrazie języka matematyki, ale ja nie do końca się z takim ograniczeniem zgadzam.… |
|
|
Czyli komórka to też automat, ale nie na płaszczyźnie, tylko w pewnej dość elastycznej ("probabilistycznej") konfiguracji przestrzennej motywowanej własnościami chemicznymi cząstek plus zapewne… |
|
|
Wracając na koniec do automatów i różnych rekurencji, weźmy na tapetę taką oto konstrukcję: "zbiorem", czyli sortem lub typem odpowiadającym zbiorom, nazwijmy obiekt składający się powiedzmy z… |
|
|
Oto przykłady chorych rekurencji:
1) n-kąt foremny przy przejściu z n do nieskończoności nie staje się okręgiem.
2) sofizmat polegający na "udowodnieniu", że Pi=2: bierzemy okrąg o promieniu 1 i jego… |
|
|
@Władysław Ludendorf. Maszyna Turinga jest mocno nadużywana i w ogóle z użyciem rekurencji jest coś nie tak. Przypomnę tylko, że na polu matematyki indukcja to jakby "obiekt liczb naturalnych", zaś… |
|
|
Tak, ale on trochę to schrzanił i widać to było po minie Penrose'a. Początek filmu był w koło o Hawkingu. Natomiast zupełnie pominięty został wątek rachunku spinorowego i twistorowego, epokowego… |
|
|
@Władysław Ludendorf , @Ptr
Polecam film, który się ukazał dzisiaj i który rozwija moją myśl. Proszę zwrócić uwagę na fragment gdzieś koło połowy filmu o logice i obliczalności:
Roger Penrose:… |
|
|
Poruszyłem ten temat po to, żeby przełamać "barierę języka", że się tak wyrażę. Gdy się w końcu człowiek oswoi z pojęciami, zrozumie język logiki, wgryzie w podstawowe zagadnienia i problemy, to… |
|
|
Faktycznie, jest coś takiego jak ChatGPT, obecnie w wersji 4o (dziesięć darmowych pytań dziennie). Zrobiłem szkic rozmowy z ChatemGPT dotyczącej tematów omawianych powyżej. Warto rzucić na to okiem,… |
|
|
Nazwijmy to plastycznie "odrętwieniem języka matematyki" ;) |
|
|
Warto zajrzeć do następującej pozycji: "Wnioskowanie w logikach nieklasycznych", Leonard Bolc, Krzysztof Dziewicki, Piotr Rychlik, Andrzej Szałas; tom 1 "podstawy teoretyczne" i tom 2 "automatyzacja… |
|
|
Spróbuję to jeszcze dokładniej wyjaśnić. W zagadnieniu opisanym, nazwijmy je logicyzacją, przyjmuje się, że istnieje pewien zbiór wartości logicznych o określonych cechach. Na przykład chcemy, aby… |
|
|
Strasznie dużo tu różnych problemów jak na trzy zdania ;)
1) Systemy logiczne wielowartościowe to jest jeszcze coś innego niż logiki modalne. Logika modalna jest w oczywisty sposób oparta na rachunku… |
|
|
To nie jest problem wiary jako takiej, tylko sposobu w jaki menedżerowie wiary oraz menedżerowie nauki podchodzą do przetwarzania faktów. W szczególności faktów naukowych inspirowanych wiarą. Wiemy… |
