«ARYTMETYZACJA» 관련 폴란드어 책
다음 도서 목록 항목에서
arytmetyzacja 의 용법을 확인하세요.
arytmetyzacja 에 관련된 책과 해당 책의 짧은 발췌문을 통해 폴란드어 서적에서 단어가 사용되는 맥락을 제공합니다.
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