Herbrand

Herbrand [erbrán] Jacques, 12. 2. 1908 až 27. 7. 1931, fr. matematik a logik; zakl. metalogiky. Zabýval se teorií kvantifikátorů, problematikou bezespornosti aritmetiky, rozhodnutelnosti a úplnosti a teorií rekursívních funkcí; 1929 formuloval nezávisle na A. Tarském větu o dedukci. Bezprostředně ovlivnil práci Hilbertovy školy v oblasti teorie důkazu.

zpět

Heslo dne

Jaderské moře, Jadran - Adriatické moře - vedlejší moře Středozemního moře mezi Apeninským a Balkánským poloostrovem, asi 132 000 km². Sev. část je mělká (do 200 m), již. hluboká až 1 589 m. Teplota povrchové vody v létě je 24 - 26°C, slanost 30-38,5 promile. Při dalmatském pobřeží četné ostrovy (Rab, Pag, Korčula, Mljet). V zimě vane nad mořem…

Více