All Questions
Tagged with computer-science soft-question
14 questions
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 ...
58
votes
10
answers
10k
views
A clear map of mathematical approaches to Artificial Intelligence
I have recently become interested in Machine Learning and AI as a student of theoretical physics and mathematics, and have gone through some of the recommended resources dealing with statistical ...
45
votes
4
answers
1k
views
How to write computer-assisted mathematics well?
Much has been said about writting good papers in mathematics. A short google query yields countless sources of advice. This skill also appears to be quite transferrable between basic branches of ...
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 ...
17
votes
6
answers
6k
views
Revisiting the unreasonable effectiveness of mathematics
Question:
On balance, with theoretical advances in algorithmic information theory and Quantum Computation it appears that the remarkable effectiveness of mathematics in the natural sciences is quite ...
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 ...
- 3,612
10
votes
2
answers
3k
views
How difficult will it be for me to switch fields (details below) after my Ph.D. in pure mathematics?
I'm a first year postdoctoral researcher, working in pure areas of Riemann surfaces and differential geometry, after just finishing my Ph.D. in 2013. Recently I've also started taking interest in ...
9
votes
12
answers
11k
views
Propositional logic and first order logic textbook
What are in your opinion some good propositional and first order logic textbooks (undergraduate level)?
I need one that focuses mainly on the aspects of logic related to computer science.
thanks in ...
8
votes
0
answers
176
views
Does the "coproduct-elimination transform" have an accepted name, and where can I learn more about it?
Suppose we're in a bicartesian closed category. Then given a morphism $$f : X \rightarrow Y_1 + \ldots + Y_n$$ and a test object $T$, we get a corresponding morphism
$$T^f : X \times [Y_1,T] \times \...
- 3,793
6
votes
6
answers
402
views
Physical Disturbances to Computations [closed]
In this paper, page 7 (160 of the Journal), Fig 3, there is a particularly amusing (not to the authors!) caption:
"... On April 1 of year 2 in the $S_0$ experiment, the computer was hit by a cosmic ...
3
votes
2
answers
3k
views
Something like mathoverflow in other sciences [closed]
Are the sites similar to mathoverflow in other sciences related to mathematics? statistics, computer science, physics, economics, etc?
Let me explain what I mean by "similar": those are sites devoted ...
3
votes
1
answer
334
views
Having a paper published via both Conference Proceedings and via a refereed journal
Forgive me if this isn't the right place to pose this question. I do need guidance on this.
In 2018 I had submitted a paper to a refereed journal. It had gotten accepted for publication by said ...
2
votes
0
answers
186
views
Are there some algorithms which have high consistency strength?
Are there some algorithms, their time complexity is relatively good, for example polynomial time.
And the correctness of them has high consistency strength.
And these algorithms shouldn't able to ...
- 1,490