 |
"אבל האם לכל משפט, בהכרח הוא או שלילתו נכונים?" יש דעות לכאן ולכאן. השאלה נדונה כבר לעיל - למשל בתגובה 317241.
"ואיך אפשר לדעת (בוודאות) אם הוא נכון?" זה כבר תלוי במהי ידיעה ודאית לדעתך. אם ידיעה ודאית בנויה מסדרה של הנחות יסוד וצעדי היסק לוגיים, וכיוון שניתן "לדעת" את הטבעיים, משפט גדל מוכיח שלא נוכל. יש מגיבים לעיל שמאמינים שידיעה האנושית כוללת גם "משהו אחר".
בהנחה של עולם מטריאליסטי נצחי וחסר גבולות, ללא רוחות ושדים, לאנושות כולה לדורותיה - יש כוח חישובי של מכונת טורינג, על כל הכרוך בכך. אם נגביל את גיל האנושות ל־10 מיליארד שנים, נקבל יצור עם כוח חישובי מוגבל הרבה יותר - אוטומט סופי.
"(אם כי הם וודאי ינסחו אותו, כי מספר המשפטים הנ"ל בן מניה, לא?)" הם יוכלו לנסח כל היגד, בהנחה שיהיו ברשותם מספיק אטומים לרשום אותו. הם לאו דווקא יטרחו, כי יש היגדים כנ"ל שהם קצרים וקומפקטים.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש