#علوم_الحاسوب_النظرية

يستعرض المقال أركان أسس وفلسفة الرياضيات وتطور المنطق الرياضي ونظرية المجموعات، مروراً بـ "أزمة الأسس" ومبرهنات غودل، وصولاً إلى العلاقة مع علوم الحاسوب النظرية ومفاهيم الرياضيات البحتة المتمثلة في الكمية والبنية.