ฉันจะถามคำถามที่ค่อนข้างคลุมเครือเนื่องจากเส้นแบ่งระหว่างวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีและคณิตศาสตร์ไม่ได้แยกแยะได้ง่ายเสมอไป
คำถาม:คุณรู้หรือไม่ว่าผลลัพธ์ที่น่าสนใจใน CS ซึ่งเป็นอิสระจาก ZFC (เช่นทฤษฎีเซตมาตรฐาน) หรือที่ได้รับการพิสูจน์แล้วใน ZFC (+ สัจพจน์อื่น ๆ ) และได้รับการพิสูจน์ในภายหลังใน ZFC alorne?
ฉันถามเพราะฉันใกล้จะทำวิทยานิพนธ์ระดับปริญญาเอกของฉันเสร็จแล้วและผลลัพธ์หลักของฉัน (การกำหนดระดับของเกมที่ใช้ในการให้ "ความหมายของเกม" กับคำกริยาความน่าจะเป็นแคลคูลัส) เป็นช่วงเวลาที่พิสูจน์แล้ว ใน ZFC ขยายไปกับสัจพจน์อื่น ๆ (กล่าวคือการปฏิเสธของสมมติฐานต่อเนื่องและ, Axiom ของมาร์ติน )¬ C H M
ดังนั้นการตั้งค่าเป็นวิทยาศาสตร์คอมพิวเตอร์อย่างชัดเจน (modal -calculus เป็นตรรกะเชิงเวลาและฉันขยายมันเพื่อทำงานกับระบบน่าจะเป็น)
ฉันอยากจะอ้างถึงตัวอย่างอื่น ๆ ในวิทยานิพนธ์ของฉัน (ถ้าคุณรับทราบ) ประเภทนี้
ขอบคุณล่วงหน้า,
บาย
มัตเตโอ