2
Principia Mathematica tarzı resmileştirme için hangi otomatik teorem kanıtlama paradigması uygundur?
Russell'ın Principia Mathematica (PM) ve mantıksal pozitivizmden esinlenerek, aksiyomları belirleyerek ve bunlardan teoremleri çıkararak belirli bir alanı resmileştirmeye çalışan bir kitabım var. Kısacası, PM'nin matematik için ne yapmaya çalıştığını kendi alanı için yapmaya çalışır. PM gibi, otomatik teorem kanıtlama (ATP) mümkün olmadan önce yazılmıştır. Bu aksiyomları modern bir ATP sisteminde …