Temat: Twierdzenie Gödla. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: Twierdzenie Gödla / Ernest Nagel, James R. Newman ; tłumaczyła Barbara Stanosz
Wydawca:: Warszawa : Państwowe Wyd. Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1966
Seria:: Omega : współczesna biblioteka naukowa ; 52
Temat:: Twierdzenie Gödla - wydawnictwa popularne.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Gödel's incompleteness theorems / Raymond M. Smullyan
Wydawca:: New York ; Oxford : Oxford University Press
Rok wydania:: cop. 1992
Seria:: Oxford Logic Guides ; 19
Temat:: Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Gödel's incompleteness theorem / V. A. Uspensky ; [transl. from the Russian by Neal Koblitz]
Wydawca:: Moscow : Mir Publishers
Rok wydania:: 1987
Seria:: Little Mathematics Library
Temat:: Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Na zawsze nierozstrzygnięte : zagadkowy przewodnik po twierdzeniach Gödla / Raymond Smullyan ; z ang. przeł. Jerzy Pogonowski
Wydawca:: Warszawa : Książka i Wiedza
Rok wydania:: cop. 2007
Seria:: Zagadki Logiczne
Temat:: Gry intelektualne.
Twierdzenie Gödla.
Twierdzenie Gödla - wydawnictwa popularne.
Gry intelektualne - wydawnictwa popularne.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1976
Seria:: Lecture Notes in Computer Science 0302-9743 43
Temat:: Twierdzenie Gödla - konferencje.
Złożoność obliczeniowa (informatyka) - konferencje.
Maszyny Turinga - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Impossibility : the limits of science and the science of limits / John D. Barrow
Wydawca:: Oxford : Oxford University Press
Rok wydania:: 1998
Temat:: Nauka - filozofia.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques / par Jean Ladrière
Wydawca:: Louvain : E. Nauwelaerts ; Paris : Gauthier-Villars
Rok wydania:: 1957
Seria:: Collection de Logique Mathématique. ; Série B, ; Monographies Réunies par M. R. Feys ; 2
Temat:: Podstawy arytmetyki.
Formalizacja (matematyka).
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: An introduction to Gödel's theorems / Peter Smith
Wydawca:: Cambridge : University Press
Rok wydania:: 2007
Seria:: Cambridge Introductions to Philosophy
Temat:: Gödel, Kurt (1906-1978).
Twierdzenie Gödla.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Formal number theory and computability : a workbook / by Alec Fisher
Wydawca:: Oxford : Clarendon Press
Rok wydania:: 1982
Seria:: Oxford Logic Guides ; 7
Temat:: Teoria liczb.
Twierdzenie Gödla.
Twierdzenia o niezupełności.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski
Wydawca:: Amsterdam : North-Holland Publishing Company
Wydanie:: 2nd print
Rok wydania:: 1957
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in dir Theorie der rekursiven Funktionen / von Hans Hermes
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: cop. 1961
Seria:: Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen ; Bd. 109
Temat:: Funkcje rekursywne.
Algorytmy.
Twierdzenie Gödla.
Funkcje obliczalne.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; transl. by G. T. Hermann and O. Plassmann
Wydawca:: Berlin [etc.] : Springer-Verlag
Wydanie:: 2nd revised ed
Rok wydania:: 1969
Seria:: Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, 0072-7830 ; Bd. 127
Temat:: Funkcje rekursywne.
Algorytmy.
Twierdzenie Gödla.
Funkcje obliczalne.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Infinity and the mind : the science and philosophy of the infinite / with a new preface by the author Rudy Rucker
Wydawca:: Princeton ; Oxford : Princeton University Press
Rok wydania:: 2019
Temat:: Logika symboliczna i matematyczna.
Twierdzenie Gödla - informatyka.
Nieskończoność.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Teoria nauk formalnych według Jana Łukasiewicza / Juliusz Wyznakiewicz
Wydawca:: Toruń : Adam Marszałek
Rok wydania:: 2001
Temat:: Łukasiewicz, Jan Leopold (1878-1956) - krytyka i interpretacja.
Łukasiewicz, Jan Leopold (1878-1956) - wkład do filozofii nauki.
Logika symboliczna i matematyczna - historia.
Matematyka - filozofia.
Filozofia logiki - 20 w.
Matematyka - filozofia - 20 w.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Finite sets and Gödel's incompleteness theorems / S. Świerczkowski ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : IM PAN
Rok wydania:: 2003
Seria:: Dissertationes Mathematicae, 0012-3862 ; 422
Temat:: Gödel, Kurt (1906-1978) - wkład do filozofii matematyki.
Logika symboliczna i matematyczna.
Twierdzenie Gödla.
Aksjomatyczna teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Gödel : życie i logika / John L. Casti, Werner DePauli ; tł. Piotr Amsterdamski
Wydawca:: Warszawa : "CiS"
Rok wydania:: 2003
Seria:: Nauka u Progu Trzeciego Tysiąclecia ; t. 24
Temat:: Gödel, Kurt (1906-1978) - filozofia.
Gödel, Kurt (1906-1978).
Logika symboliczna i matematyczna.
Matematyka - 20 w.
Sztuczna inteligencja.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Word problems : decision problems and the Burnside problem in group theory / ed. by W. W. Boone, F. B. Cannonito, R. C. Lyndon
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: 1973
Seria:: Studies in Logic and the Foundations of Mathematics vol. 71
Temat:: Logika symboliczna i matematyczna.
Teoria rekursywności.
Teoria grup.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Shadows of the mind : a search for the missing science of consciousness / Roger Penrose
Wydawca:: New York ; Oxford : Oxford University Press
Rok wydania:: 1996
Temat:: Fizyka - filozofia.
Myślenie.
Sztuczna inteligencja.
Teoria kwantowa.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Twierdzenie Gödla i jego interpretacje filozoficzne : od mechanicyzmu do postmodernizmu / Stanisław Krajewski
Wydawca:: Warszawa : Wydaw. Instytutu Filozofii i Socjologii PAN
Rok wydania:: 2003
Seria:: Umysł : prace z filozofii i kognitywistyki
Temat:: Gödel, Kurt (1906-1978) - krytyka i interpretacja.
Gödel, Kurt (1906-1978) - filozofia.
Twierdzenie Gödla.
Logika symboliczna i matematyczna.
Matematyka - filozofia - 20 w.
Sztuczna inteligencja - filozofia.
Mechanicyzm (filozofia).
Postmodernizm.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Twierdzenie Gödla." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu