RNDr. Antonín Sochor, DrSc., se narodil v roce 1942. Byl předním českým matematikem a zabýval se matematickou logikou a teorií množin.
V 60. letech 20. století se věnoval práci o axiomu výběru. Později se zabýval studiem Vopěnkovy alternativní teorie množin a souvisejícími otázkami z tzv. nestandardní analýzy.

Od roku 1964 do konce života pracoval v Matematickém ústavu. Ze začátku nastoupil do oddělení numerické algebry, teorie grafů a matematické logiky, v roce 2004 se stal ředitelem ústavu. Této práci věnoval maximální úsilí a zasloužil se například i o vybudování nové přednáškové auly a o zásadní rekonstrukci a modernizaci Matematického ústavu.

Antonín Sochor pracoval také v Akademii věd ČR. V letech 1993 - 2001 byl členem Akademické rady AV ČR. Zastával funkci zástupce místopředsedy AV pro oblast neživé přírody, potom byl pověřen řízením společných pracovišť AV ČR.
V posledních letech života se Antonín Sochor soustředil hodně na pedagogickou činnost a publikování učebnic teorie množin a matematické logiky. Napsal monografie Klasická matematická logika a Metamatematika teorií množin, kterými položil základy moderní pokročilé universitní výuky matematické logiky u nás. Vydání publikace Logika pro všechny ochotné myslet se již nedožil.

RNDr. Antonín Sochor zemřel 17. 5. 2008.