RUS
ENG
Full version
PEOPLE
Salehi Saeed
Presentations in Math-Net.Ru
How (not) to Compute the Halting Probability or Validate the Heuristic Principle
S. Salehi
Seminars "Proof Theory" and "Logic Online Seminar"
April 15, 2024
18:30
Diagonal-free proofs of the Diagonal Lemma
S. Salehi
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017
10:35
©
Steklov Math. Inst. of RAS
, 2024