Stanley Tennenbaum - Stanley Tennenbaum
Stanley Tennenbaum (11.4.1927 - 4. května 2005) byl americký matematik, který se podílel na oboru logika.[1] V roce 1959 publikoval Tennenbaumova věta, který uvádí, že č počitatelný nestandardní model z Peano aritmetika (PA) může být rekurzivní, tj. operace + a × nestandardního modelu PA nejsou rekurzivně definovatelné v operacích + a × standardního modelu.[2] Byl profesorem na Yeshiva University v šedesátých letech.
Reference
- ^ „Konference na památku Stanley Tennenbauma“. mamls.org.
- ^ Stanley Tennenbaum (1959). "Non-archimedean modely pro aritmetiku". Oznámení Americké matematické společnosti. 6: 270.
externí odkazy
- Historické poznámky k Suslinovu problému Článek od Akihiro Kanamori popisující některé Tennenbaumovy práce s několika životopisnými informacemi.
   | Tento článek o americkém matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |