Post by @MartinEscardo

In reply to

@MartinEscardo@mathstodon.xyz

Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html

mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

mathstodon.xyz

@MartinEscardo@mathstodon.xyz · 6d ago

I wished somebody else said this in this thread. So I say it myself. Of course, we use a calculator because we don't know the result in advance. A calculator is useless if once we get the result we have to check it.

View full thread on mathstodon.xyz

Conversation (1)

Showing 0 of 1 cached locally.

Syncing comments from the remote thread. 1 more reply is still loading.

Loading comments...