Ants Tauts (22. juulil 1936 Tõrva5. 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
  1. "Arhiivikoopia". Originaali arhiivikoopia seisuga 27. september 2013. Vaadatud 24. septembril 2013.{{netiviide}}: CS1 hooldus: arhiivikoopia kasutusel pealkirjana (link)
  2. Ants Tauts. 1992. Infinitive formulae in intuitionistic kogic of higher order. Tartu.

Publikatsioone

muuda
  • 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.