Artificial Intelligence Stack Exchange
Artificial Intelligence Stack Exchange

Questions tagged [philosophy-of-math]

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

the philosophy of mathematics in the 20th century was characterized by a predominant interest in formal logic, set theory (both naive set theory and axiomatic set theory), and foundational issues.

https://en.wikipedia.org/wiki/Philosophy_of_mathematics#Contemporary_philosophy

2 questions
3
votes
0 answers

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?" is located before box 6 and box 9 which are the processes…
Lerner Zhang
  • 877
  • 1
  • 7
  • 19
2
votes
1 answer

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 with ChatGPT, a lot of repeating mistakes have…
Messi Lio
  • 123
  • 4