Skip to main content

All Questions

Filter by
Sorted by
Tagged with
34 votes
9 answers
6k views

Decision problems for which it is unknown whether they are decidable

In computability theory, what are examples of decision problems of which it is not known whether they are decidable?
24 votes
3 answers
2k views

What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

Over the years, advances in machine learning has allowed us to communicate and interact, using the same natural language, more and more semantically with computers, e.g. Google, Siri, Watson, etc. On ...
70 votes
30 answers
94k views

What programming languages do mathematicians use? [closed]

I understand this might be a slightly subjective question, but I am honestly curious what programming languages are used by the mathematics community. I would imagine that there is a group of ...
15 votes
1 answer
748 views

Digital physics and "Gandy-like" machines

Various physicists, famously John Wheeler, have asserted that physical information is the central object of study in physics, in the sense that an object or concept is "physically meaningful" if it ...
Robin Saunders's user avatar