Lucifer LightBringer
Well-known member
כידוע לוגית העולם צריך להיות ריק... כלום
לא חלקיקים וירטואלים-ממשיים.
נישט,נאדה, נינקמפופ.
ואף על פי כן, אנחנו קיימים.
לא צריך איזה פאנסי שמאנסי קידוד גודל או משהו מסובך כדי להבין שבסוף במתמטיקה למשל ימצאו איזו חוסר עקביות.
אם המציאות לא עקבית בהכרח מהסקת מסקנות ... תיזהרו החייזרים יודעים שאנחנו מדברים.
טוב המציאות לא עקבית.
אז בהכרח המטאמתמטיקה לא יכולה להיות עקבית.
למה הוכחה צריכה להיות סופית?
מי שלמד לוגיקה פורמאלית באוניברסיטאות בטח יודע על מה אני מדבר.
על פניו נראה לי שאפשרי גם הוכחה אינסופית... אחת כזו שאף פעם לא מסתיימת, כמו המלחמה הזו.
infinitary logic
טוב, אני מודה שהוכחה אינסופית זה מוגזם ובלתי אפשרית גם כן.
בערך כמו משחק שחמט עם מספר אינסופי של כלים ולוח אינסופי... ברור שזה יסתיים בתיקו... אבל לך תוכיח!!!!
I DARE YOU
לא חלקיקים וירטואלים-ממשיים.
נישט,נאדה, נינקמפופ.
ואף על פי כן, אנחנו קיימים.
לא צריך איזה פאנסי שמאנסי קידוד גודל או משהו מסובך כדי להבין שבסוף במתמטיקה למשל ימצאו איזו חוסר עקביות.
אם המציאות לא עקבית בהכרח מהסקת מסקנות ... תיזהרו החייזרים יודעים שאנחנו מדברים.
טוב המציאות לא עקבית.
אז בהכרח המטאמתמטיקה לא יכולה להיות עקבית.
למה הוכחה צריכה להיות סופית?
מי שלמד לוגיקה פורמאלית באוניברסיטאות בטח יודע על מה אני מדבר.
על פניו נראה לי שאפשרי גם הוכחה אינסופית... אחת כזו שאף פעם לא מסתיימת, כמו המלחמה הזו.
infinitary logic
טוב, אני מודה שהוכחה אינסופית זה מוגזם ובלתי אפשרית גם כן.
בערך כמו משחק שחמט עם מספר אינסופי של כלים ולוח אינסופי... ברור שזה יסתיים בתיקו... אבל לך תוכיח!!!!
I DARE YOU