Dyskusja:Teoria modeli
Z Wikipedii
Spieszę dodać ten tekst do Artykułów na medal, jeden z niewielu tekstów matematycznych w polskiej Wiki, dla których inne Wikipedie powinny znaleźć jakiegoś polskiego tłumacza. Mam nadzieję, że dedykacja nie czyni mnie stronniczym i zakaz dodawania własnych tekstów do tej listy mnie nie obejmuje? :) Pbn 22:23, 5 mar 2003 (CET)
Mam taki oto problem: "Prowadzi to do ważnego wniosku, że pojęcia konsekwencji syntaktycznej i semantycznej są równoważne i można ich używać wymiennie, w zależności od tego, które się łatwiej daje zastosować w danym przypadku." jest moim zdaniem w miare bełkotliwe. Jakim cudem Goedel dowiodl swojego twierdzenia o neisprzecznosci skoro znaczenie ( semantyka) zdania ktore on wymyslil i zapisal arytmetyzujac arytmetyke Peano, bylo KOMPLETNIE inne niz jego tresc formalna ( syntaktycznie)? jak Goedel mogl wskazac zdanie PRAWDZIWE ktorego sie nie da dowiesc na gruncie teorii liczb naturalnych skoro SEMANTYKA I SYNTAKTYKA maja rzekomo byc rownowazne? Problem wlasnie w tym, ze my znajac ZNACZENEI twierdzenia orzekamy ze jest prawdziwe, pomimo ze formalnie ( syntaktycznie) nei da sie go wywiesc z czy zredukowac do aksjomatow. Moze niech autor powola sie na jakas publikacje? Znane sa przyklady ze wielu nieraz bardzo powaznych ludzi kompletnei nie rozumialo tw. Goedla zas takie tezy jak ta wydaja mi sie podejzane... kakaz
-- Artykuł na medal? Napisany jest być może dobrze z punktu widzenia studenta matematyki, natomiast nie z punktu widzenia laika (i to mądrego laika). Dla niego artykuł jest niezrozumiały.
