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

3 questions
4
votes
1 answer

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
  • 1,065
  • 1
  • 9
  • 22
3
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
  • 133
  • 4
1
vote
2 answers

What are the earliest know examples of attempts at artificial intelligence

I am looking for the really early attempts. Like trying to make a mathematical framework to describe the human mind before computers existed. Sure their means were very limited. Still someone must of tried.
Maze
  • 11
  • 2