sterowniki plc
Temat: Twierdzenia limitacyjne
...po ludzku wrzucając aksjomaty do komputera i dając mu reguły uzyskiwania kolejnych prawdziwych zdań nie wyprodukujemy wszystkich prawdziwych zdań danej teorii! jakieś prawdziwe zdanie przy danych układzie aksjomatów zostanie pominięte. wzmocnienie systemu o nowy aksjomat może naprawić to ominięcie, wygeneruje jednak nowe...
problemy, problemy, problemy
~~~~~~~~~~~~~~~~~~~~~
przy założeniach, że:
zdanie aprioryczne = zdanie analityczne
zdania aprioryczne = matematyka + logika
być może trzeba powrócić do kantowskiej koncepcji sądów syntetycznych a priori (?)
Źródło: forum.ateista.pl/showthread.php?t=6725
Temat: Twierdzenia limitacyjne
...ilością tyld jest jakieś niezwiązane z resztą. Cytat: No dobrze a jak to się ma do tw limitacyjnych, nex?. część filozofów uważa, że można twierdzenia limitacyjne odnieść do kwestii epistemologicznych, w tym do problemu zdań analitycznych. pomysły są dwa: 1) zdanie wyrażające niesprzeczność S jest zdaniem syntetycznym a priori (Delong) 2) jeśli zdanie analityczne to zdanie, które ma dowód z aksjomatów to być może część sądów arytmetyki ma charakter syntetyczny (por I twierdzenie GĂśdla) Cytat: polecam: recenzowane oraz artykół [/quote] znam te pozycje, ale najlepszą po polsku imo jest Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia GĂśdla.
Źródło: forum.ateista.pl/showthread.php?t=6725
Temat: Twierdzenia limitacyjne
Cytat: przy założeniach, że: zdanie aprioryczne = zdanie analityczne zdania aprioryczne = matematyka + logika być może trzeba powrócić do kantowskiej koncepcji sądów syntetycznych a priori (?) No dobrze a jak to się ma do tw limitacyjnych, nex?. A tak przy okazji nie pomieszałeś badeńczyków z marburczykami? I na czym ma polegać ten powrót?
Źródło: forum.ateista.pl/showthread.php?t=6725