Takeutis gumoni - Takeutis conjecture

Yilda matematika, Takeutining taxminlari ning taxminidir Gaisi Takeuti ning ketma-ket rasmiylashtirilishi ikkinchi darajali mantiq bor kesib tashlash (Takeuti 1953). Bu ijobiy hal qilindi:

  • Tayt tomonidan Shyutte (Tayt 1966) asari asosida kesilganlikni isbotlashning semantik uslubidan foydalangan holda;
  • Shunga o'xshash usul bo'yicha Takaxashi tomonidan mustaqil ravishda (Takahashi 1967);
  • Bu xulosa Jan-Iv Jirard uchun kuchli normallashtirishning sintaktik isboti Tizim F.

Takeuti gipotezasi doimiylikka tengdir ikkinchi darajali arifmetik bayonlarning har biri zaif tizimda bir-biridan kelib chiqishi mumkin degan ma'noda PRA; izchillik bu erda haqiqatning haqiqatiga ishora qiladi Gödel hukm ikkinchi darajali arifmetik uchun. Bu shuningdek ga teng kuchli normalizatsiya Jirard / Reynoldniki Tizim F.

Shuningdek qarang

Adabiyotlar

  • Uilyam V. Tayt, 1966. Konstruktiv bo'lmagan isboti Gentzen Ikkinchi tartib predikat mantig'i uchun Hauptsatz. Yilda Amerika Matematik Jamiyati Axborotnomasi, 72:980–983.
  • Gaisi Takeuti, 1953. Umumlashtirilgan mantiqiy hisob bo'yicha. Yilda Yaponiya matematika jurnali, 23: 39-96. Ushbu maqoladagi xatolik o'sha jurnalda, 24: 149–156, 1954 yilda nashr etilgan.
  • Moto-o Takahashi, 1967. Oddiy tip nazariyasida keskinlikni yo'q qilishning isboti. Yilda Yaponiya matematik jamiyati, 10:44–45.