BUKU BASA POLANDIA KAKAIT KARO «ARYTMETYZACJA»
Temukaké kagunané saka
arytmetyzacja ing pilihan bibliografi iki. Buku kang kakait dening
arytmetyzacja lan pethikan cekak kang padha kanggo nyediyakaké panggunané ing sastra Basa Polandia.
1
Umysł a maszyny: krytyka obliczeniowej teorii umysłu - Strona 137
Szerszym kontekstem algebraizacji logiki jest arytmetyzacja, która skonstruowana i zastosowana przez Kartezjusza i Leibniza przyniosła owocne skutki w dziedzinach nie tylko nauk formalnych, lecz również przyrodniczych; współczesnym ...
2
Twierdzenie Gödla i jego interpretacje filozoficzne: od ... - Strona 47
Arytmetyzacja metamatematyki Najciekawsze dla nas ciągi wyrażeń to dowody formalne. Zależą one oczywiście od tego, z jaką teorią sformalizowaną mamy do czynienia. W każdym razie nasza standardowa formalizacja używa reguły ...
Stanisław Krajewski, 2003
3
Słownik terminów i pojęć filozoficznych - Strona xlv
ARTYZM ARYTMETYZACJA nię, wytwarzam) ang. artefact, artifact, ar- ticraft; fr. artefact, artifait; nm. Artefakt Wytwór człowieka imitujący lub zastępujący nieorganiczny albo organiczny twór natury; może to być przedmiot materialny (np. proteza ...
4
Dwa paradygmaty matematyki: studium z dziejów i filozofii ... - Strona 28
Jednym z nich była tzw. arytmetyzacja analizy matematycznej. 2. ARYTMETYZACJA ANALIZY MATEMATYCZNEJ Analiza matematyczna, zapoczątkowana pod koniec XVII w. stworzeniem przez I. Newtona (1643 - 1727) i G. W. Leibniza ...
5
Wiadomości matematyczne - Tomy 30-31 - Strona 67
Podejście Shamira do arytmetyzacji QBF polega na indukcyjnym zastępowaniu (3xi,--- ,xs)<f> przez ^....^^{o.i}^ i (V%i)<P przez ^x<e{o,i}</,, gdzie <f> jest formułą boolowską, a <f> jej arytmetyzacją. (Podstawowym krokiem pozostaje ...
Polskie Towarzystwo Matematyczne, 1993
6
Metamatematyka a epistemologia - Strona 63
Tak więc, aby teoria funkcji rekurencyjnych miała zastosowanie do tworów badanych przez metamatematykę, trzeba dokonać przekładu języka metamatematyki na język arytmetyki. Środkiem do tego celu jest tzw. arytmetyzacja języka, metoda ...
George S. Everly, Jan Woleński, Robert Rosenfeld, 1993
7
Funkcje rekurencyjne i elementy matematyki: problemy ... - Strona 83
ARYTMETYZACJA W paragrafie tym opiszemy jeden z głównych pomysłów Gódla z pracy [26]. Polegał on na jednojednoznacznym przyporządkowaniu wyrażeniom języka arytmetyki (tzn formułom nazwowym i formułom zdaniowym) liczb ...
8
Aspekty algebraiczne systemu modalnego Gödla-Löba - Strona 15
Po dokonaniu transpozycji implikacji formułę te odczytujemy tak: twierdzeniem PA jest arytmetyzacja stwierdzenia, że jeśli PA jest niesprzeczne, to niesprzeczność PA nie jest dowiedlna w PA. Zatem formuła A0 wyraża drugie twierdzenie ...
9
Matematyka. Filozofia. Sztuka - Strona 45
W XIX wieku arytmetyzacja analizy48 pchnęła tę analizę, a wraz z nią całą matematykę, w stronę bieguna dyskretności49. I ten ruch trwa do dzisiaj, współcześnie bowiem właśnie dyskretna. MATEMATYKA dyskretna ciągła absolutna ...
10
Mała encyklopedia logiki - Strona 22
... [4']) jest kategoryczna. K. J. Barwise et al. (ed.fc Handbook of mathematical logic. 1977; Grzegorczyk: Log. mat.; S. C. Kleene: Introduction into matemathematics. 1952; W. Sierpiński: Teorio liczb, T. 1 i 2. 1960. W. Mk arytmetyzacja składni.
Witold Marciszewski, 1988
