Leon Gumański
Leon Gumański
Leon Gumański, polski logik, twierdził że rachunek kwantyfikatorów jest rozstrzygalny. Przedstawił nawet trzy dowody tego faktu. Środowisko matematyczne nie było jednak zainteresowane. Te dowody można znaleźć w książkach "Wprowadzenie w logikę współczesną" i "Logika i istnienie". Co o tym sądzicie?