== האם זאת פונקציה? ==

 

:יש הבדל בין פונקציה ובין פונקציה "ניתנת לחישוב", שלא כאן המקום להיכנס אליו. אם הבעיה הייתה רק שיש דברים נכונים שאי אפשר להוכיח, המצב לא היה גרוע, אבל אני לא בטוח שכל הטענות כאלו, וייתכן שיש טענות שיכולות להיות נכונות וגם יכולות להיות לא נכונות בלי שתתקבל סתירה ([[אקסיומת הבחירה]]?) ולכן הפונקציה לא מוגדרת היטב. אם תרחיב אותה כך שתוכל לקבל ערך שלישי ("אפשר גם וגם") תקבל פונקציה. לדעתי, אגב, זו דוגמא די משעממת: הטווח שלה קטן מאוד, ולכן היא בעצם דרך פורמלית לענות "כן" או "לא" על שאלה כלשהי. (לא שטווח בן שני איברים יוצר בהכרח משהו משעמם: [[פונקציית דיריכלה]] זה דבר יותר משעשע). [[משתמש:Gadial|גדי אלכסנדרוביץ']] 04:29, 7 אפר' 2005 (UTC)

::טרול רפאים, ברכותי: המצאת (בערך) את [[הבעיה העשירית של הילברט]], אם כי 105 שנה לאחר שהילברט העלה אותה (ראה [[23 הבעיות של הילברט]]). [[משתמש:דוד שי|דוד שי]] 04:51, 7 אפר' 2005 (UTC)