אינטואיציוניזם

כל מה שרצית לדעת על אינטואיציוניזם:
בפילוסופיה של המתמטיקה, אינטואיציוניזם היא גישה הרואה במתמטיקה תוצאה של פעילות אנושית של בניות מנטליות.
כך, בהינתן אוסף אקסיומות (באינטואיציוניזם: אריתמטיקה של מספרים טבעיים), הטענות היחידות שנחשבות "לגיטימיות" הן אלו שנבנו, בעקיפין או שלא בעקיפין, על ידי האקסיומות.
במילים אחרות, טענה ניתן להוכיח או להפריך רק באמצעות שיטות הוכחה קונסטרוקטיביות.
לכן פוסלים האינטואיציוניסטים הוכחות על דרך השלילה ולמעשה את כלל השלישי מן הנמנע.
אבי האסכולה הוא המתמטיקאי ההולנדי ל.
א.
י בראואר.
מתמטיקאים נוספים שעסקו בתחום הם ארנד הייטינג, אנדריי קולמוגורוב והרמן וייל.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לאינטואיציוניזם:
פילוסופיה של המתמטיקה
לוגיקה מתמטית