Jacgues Herbrand

Biografie

[Erbrán], *12.2.1908 – †27.7.1931, francouzský matematik a logik, zakladatel metalogiky. Zabýval se teorií kvantifikátorů, problematikou bezespornosti aritmetiky, rozhodnutelnosti a úplnosti a teorií rekursívních funkcí. V roce 1929 formuloval nezávisle na A. Tarském větu o dedukci. Bezprostředně ovlivnil práci Hilbertovy školy v oblasti teorie důkazu.

Vytvořeno: 14. 3. 2000
Aktualizováno: 29. 1. 2008
Autor: -red-