#Philosophy of mathematics
Latest news articles tagged with "Philosophy of mathematics". Follow the timeline of events, related topics, and entities.
Articles (1)
-
🇺🇸 Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
[USA]
arXiv:2602.12463v1 Announce Type: cross Abstract: We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be "correct", in the sense of formaliza...
Related: #Artificial intelligence, #Formal verification