by Ciro Santilli (@cirosantilli, 35)
The cool thing about Terrence Tao is that besides being a mathematical genius, he is also interested in modern technology such as formal proof systems and automated theorem proving. For that, kudos.
Figure 1.
Terence Tao
. Source.

Ancestors (4)

  1. List of mathematicians
  2. Mathematician
  3. Mathematics
  4. Home

Incoming links (1)

View article source

Discussion (0)

+ New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Terence Tao by Wikipedia Bot 0 1970-01-01
Read the full article
See all articles in the same topic + Create my own version