| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
|
|||
|
Proof theory and mathematics: Aristotle vs Hilbert O. A. Antonova |
|||
|
Abstract: Based on different conceptions of proof theory (such as Aristotle’s or Hilbert’s proof theory) we try to answer the following questions: what is the modern mathematical conception of proof and what is relationship between mathematics and proof theory. |
|||