Mathematics is …


         If mathematics is computing, and all computing is physical, then …

the issues of infinities (of any level and type) reduce to questions about the existence of various kinds of computers (“machines”) in nature: Z(eno)-machines and U-machines and so on.

Zeno machine

The U-Machine: A Model of Generalized Computation
Bruce J. MacLennan
Other physical realizations of the U-machine will operate on fields, that is, on continuous distributions of continuous data, which are, in mathematical terms, the elements of an appropriate Hilbert function space. This kind of computation is called field computation.
(The “U” is for Pavel Samuilovich Urysohn.)

Physico-formalist philosophy of mathematics (lecture course)
László E. Szabó

Mathematics Is Physics (arXiv)
M. S. Leifer
(Submitted on 11 Aug 2015)


Mathematics can be seen as a collection of machines, or as a collection of (domain-specific) languages: DSLs.



Philip Thrift


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s