صورتگرایی
فارسی
[ویرایش]حوزه: [ریاضی]
- مکتبی در فلسفۀ ریاضی که براساس آن ریاضیات مجموعهای از دستگاههای صوری است که گزارههای هریک از آنها با استفاده از نمادهای دستگاه برطبق قواعد معینی ساخته میشوند.
منابع
[ویرایش]«صورتگرایی» همارزِ «formalism»؛ منبع: گروه واژهگزینی و زیر نظر غلامعلی حدادعادل، دفتر هشتم، فرهنگ واژههای مصوب فرهنگستان، تهران: انتشارات فرهنگستان زبان و ادب فارسی، شابک ۹۷۸-۶۰۰-۶۱۴۳-۰۸-۸