Ants Tauts
Ants Tauts (22. juulil 1936 Tõrva – 5. november 2004 Tallinn) oli eesti matemaatik.
Ta lõpetas 1960. aastal Tartu Riikliku Ülikooli matemaatika-loodusteaduskonna matemaatika osakonna[1].
Ta oli üks vähestest eesti matemaatikutest, kes on tundnud huvi intuitsionistliku loogika vastu [2]. Matemaatikadoktor.
Tartu Ülikoolis oli ta üks algebraist Jaak Hioni õpilasi. Sai preemia üliõpilastööde konkursil. Hiljem töötas seal õppejõuna. On töötanud ka TÜ Füüsika Instituudis, Küberneetika Instituudis ja Eesti Energeetika Instituudis.
Tauts on olnud Eesti Matemaatika Seltsi, Šveitsi Kultuuriseltsi ja struktuurisemiootika uurimisrühma juhatuse liige.
Viited[muuda | muuda lähteteksti]
- ↑ "Arhiivikoopia". Originaali arhiivikoopia seisuga 27. september 2013. Vaadatud 24. septembril 2013.
{{netiviide}}: CS1 hooldus: arhiivikoopia kasutusel pealkirjana (link) - ↑ Ants Tauts. 1992. Infinitive formulae in intuitionistic kogic of higher order. Tartu.
Publikatsioone[muuda | muuda lähteteksti]
- 2002. Upgrating the maximum principle for nonzero-sum games. – Proc. Estonian Acad. Sci. Phys. Math. 51, 3 160-166.
- 2004. Optimization problems with points of discontinuity and discrete arguments. – Proc. Estonian Acad. Sci. Phys. Math. 53, 3 177-185.