与 «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
