این مقاله دربارهٔ دیدگاهی از فلسفه ریاضیاتی است. برای سایر کاربردهای این اصطلاح را ببینید. در ، (Constructivism)، بیان می‌دارد که یافتن (یا «ساختن») یک شیء ریاضیاتی جهت اثبات ضروری است. در ، می‌توان وجود یک شیء ریاضیاتی را بدون «یافتن» آن شیء به‌طور صریح اثبات نمود. بدین صورت که عدم وجود آن را فرض گرفته و سپس از فرض به رسید. این نوع اثبات، یعنی (یا روش غیر-ساخت‌گرا) ممکن است از نظر برخی ساخت‌گرایان مردود در نظر گرفته شود. دیدگاه ساخت‌گرایی از تفسیری استفاده می‌کند که صحت و سقم را بررسی کرده و با تفسیر کلاسیک مغایرت دارد.
 اَشکال متعددی از ساخت‌گرایی موجود اند، که شامل این موارد می‌شوند: برنامه ، متناهی‌گرایی و ، ریاضیات بازگشتی ساخت‌گرایی شانین و مارکوف و برنامه آنالیز ساخت‌گرایی بیشاپ.
 ساخت‌گرایی را اغلب با شهودگرایی یکی می‌گیرند، گرچه که شهودگرایی تنها یکی از برنامه‌های ساخت‌گرایی است. شهودگرایی مدعی است که بنیان‌های ریاضیات در شهود تک تک ریاضی‌دانان قرار داشته و ازین رو ریاضیات را تبدیل به موضوعی با فعالیت (سوبژکتیو) می‌کند. سایر اشکال ساخت‌گرایی براساس این دیدگاه شهودگرایی پایه‌ریزی نشده‌اند و بیشتر با دیدگاه‌های (ابژکتیو) قابل قیاس اند.
{"title": "ساخت‌گرایی (فلسفه ریاضیات)", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%B3%D8%A7%D8%AE%D8%AA%E2%80%8C%DA%AF%D8%B1%D8%A7%DB%8C%DB%8C_(%D9%81%D9%84%D8%B3%D9%81%D9%87_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA)&oldid=32401804", "language": "fa"}