nieroztrzygalność

Słowo poświadczone w fotocytacie:
(...) (znany p.n. „klasyfikacja Kleene’a-M.”), uogólnił metamatematyczne twierdzenie K. Gödela o niezupełności i nieroztrzygalności teorii zawierających arytmetykę oraz prowadził badania nad log. metodami matematyki; gł. prace: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip (1939), On Definable Sets of Positive Integers (1947), Logika matematyczna (1948), An Undecidable Arithmetical Statement (1949), A Classification of Logical Systems (1951), On Direct Products of Theories (1952), Models of Axiomatic Theories Admitting Automorphisms (1956, wraz z A...

Dodatkowe informacje

Diachroniczna częstość użycia słowa (wystąpień na milion wyrazów):
Lokalizacja ekscerptu na stronie:
Adres bibliograficzny:
WEP PWN 1962-1970. Wielka encyklopedia powszechna PWN. T. 1-13, Warszawa : PWN
Etykiety gramatyczne poświadczenia:
rzeczownikliczba pojedyncza

Zastrzeżenia

W naszych materiałach trafiają się błędy, są nieuniknione w tak wielkim zbiorze danych. Procentowo nie jest ich jednak więcej niż w klasycznym 11-tomowym Słowniku języka polskiego pod red. Witolda Doroszewskiego. Ciągle je wyszukujemy i nanosimy natychmiast poprawki, co w epoce przedelektronicznej było zupełnie niemożliwe.