AgoraOtwarty plac myśli

Dzieło · Filozofia analityczna

Grundzüge der theoretischen Logik (Zarys logiki teoretycznej)

1928 · autorstwa: David Hilbert

Podręcznik napisany wraz z Wilhelmem Ackermannem na podstawie wykładów Hilberta: przedstawia logikę zdań i logikę pierwszego rzędu i stawia dwa otwarte pytania – czy logika pierwszego rzędu jest zupełna i czy istnieje procedura rozstrzygania – na które odpowiedzieli Gödel (1929) oraz Church i Turing (1936).

Otwórz na mapie gwiazd

Więcej dzieł: David Hilbert

Źródła: Wikipedia · Wikidata

Stan na listopad 2026 · Ulepsz tę stronę · Jak powstaje Agora

Otwórz na mapie gwiazd