Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Formalizacja (matematyka)." wg kryterium: Temat


Wyświetlanie 1-7 z 7
propozycja biblioteki
Tytuł pełny:
Filozoficzne podstawy formalizmu matematycznego : studium nad poglądami Davida Hilberta / Ewa Piotrowska
Wydawca:
Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Rok wydania:
1990
Seria:
Filozofia i Logika / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0083-4246 ; Nr 61
Temat:
Hilbert, David (1862-1943).
Formalizacja (matematyka).
Książka
propozycja biblioteki
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
    Wyświetlanie 1-7 z 7

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

    Prześlij opinię

    Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

    Formularz