Questions tagged [philosophy-of-math]

Use for question related to formal logic, naive and axiomatic set theory, infinitary math, etc.

Filter by
Sorted by
Tagged with
3 votes
1 answer
644 views

What exactly is the future of mathematical analysis that can be dealt with AI (especially in the automated theorem proving)?

As a student of numerical analysis, I can see how mathematical analysis involved in making a language program specifically in the convergence analysis of an approximation method. But, while chatting ...
Messi Lio's user avatar
  • 133
3 votes
0 answers
55 views

Do we need as much information to know if we can can answer a question as we need to actually answer the question?

I am reading The Book of Why: The New Science of Cause and Effect by Judea Pearl, and in page 12 I see the following diagram. The box on the right side of box 5 "Can the query be answered?" ...
Lerner Zhang's user avatar