Enquanto editor da parte de lógica da IEP (Internet Encyclopedia of Philosophy), estou produzindo uma série de verbetes sobre os teoremas da lógica moderna. Vem aí o primeiro: The Compactness Theorem https://iep.utm.edu/compactness/ Todo mundo é bem-vindo para escrever um verbete, a seguir uma lista de teoremas. A IEP recebe 1 milhão de visitas por mês, é uma importante ferramenta para ensino e pesquisa. JYB
LIST OF IMPORTANT THEOREMS OF MODERN LOGIC Löwenheim-Skolem (1915-1920) completeness (Post 1921 - Gödel 1930) incompleteness (Gödel 1931) cut-elimination (Gentzen 1934) undefinability (Tarski 1936) undecidability (Church-Turing, 1936) Lindenbaum's extension lemma (1937) compactness (Malcev 1938) incompleteness of modal logic (Dugundji 1940) Ehrenfeucht-Fraïssé (1950-1961) Beth's definability theorem (1953) Craig's interpolation theorem (1957) completeness for modal logic (Kripke 1959) independence of CH (Cohen 1963) -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAFM1%3DPJRGMquhySU%2BU7Gu6riRcp8DhJYUzFuVwSvGOkA%40mail.gmail.com.
