بحث · المكتبةُ كلُّها
جِدْ أيَّ شيء
اكتُبْ للبحث في 187 مدخلًا: مؤلَّفاتٍ وأعلامًا ومفاهيمَ ومبرهناتٍ ومفارقاتٍ وحقولًا.
- مؤلَّف الأُرغانون أرسطو
- مؤلَّف الشذراتُ المنطقية خريسيبوس والرواقيون
- مؤلَّف إيساغوجي (المدخل) فُرفوريوس
- مؤلَّف في منطق أرسطو (ترجماتٌ وشروح) بوثيوس
- مؤلَّف كتابُ القياس الفارابي
- مؤلَّف الشفاء: المنطق ابن سينا
- مؤلَّف الإشاراتُ والتنبيهات ابن سينا
- مؤلَّف معيارُ العلم الغزّالي
- مؤلَّف الجدليّات بيير أبيلار
- مؤلَّف تلخيصُ منطق أرسطو ابن رشد
- مؤلَّف الملخَّصاتُ المنطقية بطرس الإسباني
- مؤلَّف إيساغوجي الأبهري
- مؤلَّف مطالعُ الأنوار سراج الدين الأُرموي
- مؤلَّف شرحُ الإشارات نصير الدين الطوسي
- مؤلَّف الرسالةُ الشمسية الكاتبي القزويني
- مؤلَّف قسطاسُ الأفكار شمس الدين السمرقندي
- مؤلَّف الفنُّ الأعظم رامون لُل
- مؤلَّف الردُّ على المنطقيين ابن تيمية
- مؤلَّف خلاصةُ المنطق وليم الأوكامي
- مؤلَّف تحريرُ القواعد المنطقية قطب الدين الرازي
- مؤلَّف تهذيبُ المنطق التفتازاني
- مؤلَّف السُّلَّمُ المُنوْرَق الأخضري
- مؤلَّف الكتاباتُ المنطقية لايبنتس
- مؤلَّف نظريةُ العلم برنارد بولتسانو
- مؤلَّف نظامُ المنطق جون ستيوارت مِل
- مؤلَّف المنطقُ الصوري أوغست دي مورغان
- مؤلَّف بحثٌ في قوانين الفكر جورج بُول
- مؤلَّف تدوينُ المفاهيم غوتلوب فريغه
- مؤلَّف أسسُ نظريةٍ عامةٍ للمجموعات كانتور
- مؤلَّف أسسُ الهندسة هلبرت
- مؤلَّف في أسس الرياضيات لاوتسن براور
- مؤلَّف أبحاثٌ في أسس نظرية المجموعات تسيرملو
- مؤلَّف مبادئُ الرياضيات وايتهد ورسل
- مؤلَّف الرسالةُ المنطقيةُ الفلسفية لودفيغ فتغنشتاين
- مؤلَّف في القضايا غيرِ القابلةِ للبتِّ صوريًّا كورت غودل
- مؤلَّف مفهومُ الصدق في اللغات الصورية ألفريد تارسكي
- مؤلَّف البناءُ المنطقي للغة رودولف كارناب
- مؤلَّف الأوراقُ المجموعة غِرهارد غنتسن
- مؤلَّف مسألةٌ غيرُ قابلةٍ للحلِّ في نظرية الأعداد ألونزو تشرتش
- مؤلَّف في الأعداد القابلة للحوسبة آلان تورنغ
- مؤلَّف اعتباراتٌ دلاليةٌ في منطق الجهات سول كريبكي
- مؤلَّف الفئاتُ لعالم الرياضيات العامل سوندرز ماك لين
- مؤلَّف مدخلٌ رياضيٌّ إلى المنطق هربرت إندرتون
- مؤلَّف نظريةُ الأنماط الحدْسية بير مارتن-لوف
- مؤلَّف مدخلٌ إلى المنطق اللاكلاسيكي غراهام بريست
- مؤلَّف نظريةُ النمط الهوموتوبي برنامجُ الأسس الأحادية
- عَلَم أرسطو 384–322 BCE
- عَلَم ديودورُس كرونُس c. 340–280 BCE
- عَلَم خريسيبوس 279–206 BCE
- عَلَم جالينوس c. 129–216
- عَلَم فُرفوريوس c. 234–305
- عَلَم بوثيوس c. 477–524
- عَلَم الكِندي c. 801–873
- عَلَم الفارابي c. 872–950
- عَلَم ابن سينا 980–1037
- عَلَم الغزّالي 1058–1111
- عَلَم بيير أبيلار 1079–1142
- عَلَم زين الدين الساوي d. c. 1145
- عَلَم ابن رشد 1126–1198
- عَلَم فخر الدين الرازي 1149–1209
- عَلَم الخُونَجي 1194–1248
- عَلَم الأبهري c. 1200–1265
- عَلَم سراج الدين الأُرموي 1198–1283
- عَلَم نصير الدين الطوسي 1201–1274
- عَلَم الكاتبي القزويني 1203–1277
- عَلَم بطرس الإسباني c. 1215–1277
- عَلَم رامون لُل c. 1232–1316
- عَلَم ابن تيمية 1263–1328
- عَلَم شمس الدين السمرقندي fl. c. 1290
- عَلَم وليم الأوكامي 1287–1347
- عَلَم قطب الدين الرازي c. 1290–1365
- عَلَم جان بوريدان c. 1301–1362
- عَلَم التفتازاني 1322–1390
- عَلَم السيّد الشريف الجرجاني 1339–1414
- عَلَم جلال الدين الدواني 1426–1502
- عَلَم الأخضري c. 1512–1546
- عَلَم مُلّا صدرا c. 1571–1640
- عَلَم لايبنتس 1646–1716
- عَلَم برنارد بولتسانو 1781–1848
- عَلَم آرثر شوبنهاور 1788–1860
- عَلَم أوغست دي مورغان 1806–1871
- عَلَم جون ستيوارت مِل 1806–1873
- عَلَم جورج بُول 1815–1864
- عَلَم جون فِن 1834–1923
- عَلَم تشارلز ساندرز بيرس 1839–1914
- عَلَم إرنست شرودر 1841–1902
- عَلَم كانتور 1845–1918
- عَلَم فريغه 1848–1925
- عَلَم جوزيبه بيانو 1858–1932
- عَلَم ألفرد نورث وايتهد 1861–1947
- عَلَم هلبرت 1862–1943
- عَلَم تسيرملو 1871–1953
- عَلَم برتراند رسل 1872–1970
- عَلَم يان وكاشيفيتش 1878–1956
- عَلَم براور 1881–1966
- عَلَم سي. آي. لويس 1883–1964
- عَلَم ستانيسواف ليشنيفسكي 1886–1939
- عَلَم تورالف سكولم 1887–1963
- عَلَم لودفيغ فتغنشتاين 1889–1951
- عَلَم رودولف كارناب 1891–1970
- عَلَم إميل بوست 1897–1954
- عَلَم هاسكل كَري 1900–1982
- عَلَم تارسكي 1901–1983
- عَلَم تشرتش 1903–1995
- عَلَم غودل 1906–1978
- عَلَم جاك إربران 1908–1931
- عَلَم ويلارد فان أورمان كواين 1908–2000
- عَلَم غنتسن 1909–1945
- عَلَم ماك لين 1909–2005
- عَلَم ستيفن كول كليني 1909–1994
- عَلَم تورنغ 1912–1954
- عَلَم روث باركان ماركوس 1921–2012
- عَلَم ج. أ. روبنسون 1930–2016
- عَلَم بول كوهين 1934–2007
- عَلَم كريبكي 1940–2022
- عَلَم مارتن-لوف 1942–
- عَلَم جان-إيف جيرار 1947–
- مفهوم القضية عبارةٌ خبريةٌ تحتمل الصدقَ أو الكذب، حاملُ القيمة الصدقية الأساس.
- مفهوم الصلاحية خاصّةٌ في الحجج: تَصدُق النتيجةُ في كلِّ تأويلٍ تَصدُق فيه المقدّماتُ جميعًا.
- مفهوم الإحكام يكون النسقُ مُحكَمًا إذا كان كلُّ ما يُبرهنه صالحًا؛ فلا يَستنبط باطلًا من حقّ.
- مفهوم الاكتمال يكون النسقُ مكتملًا إذا أمكن برهنةُ كلِّ صالحٍ فيه (مبرهنةُ غودل للاكتمال في منطق المرتبة الأولى).
- مفهوم الاتساق تكون النظريةُ متّسقةً إذا لم تُبرهن تناقضًا، فلا تُثبت قضيةً ونقيضَها معًا.
- مفهوم المُسوِّر رمزٌ يربط متغيِّرًا على مجال: الكلّي ∀ («لكلّ») والوجودي ∃ («يوجد»).
- مفهوم القياس صورةُ الاستدلال عند أرسطو: مقدّمتان يجمعهما حدٌّ أوسط تُنتِجان نتيجة.
- مفهوم قياسُ الوضع قاعدةُ الفصل الأساس: من A ومن «A تستلزم B»، يُستنتَج B.
- مفهوم جدولُ الصدق جدولٌ يُعطي القيمةَ الصدقيةَ لقضيةٍ مركّبةٍ عند كلِّ إسنادٍ صدقيٍّ لذرّاتها.
- مفهوم قضيةٌ واجبةُ الصدق قضيةٌ تَصدُق في كلِّ تأويل: صِدقٌ منطقيٌّ خالص.
- مفهوم الثالثُ المرفوع القانونُ الكلاسيكيُّ بأنَّ كلَّ قضيةٍ إمّا صادقةٌ وإمّا كاذبة، يردُّه المنطقُ الحدْسي.
- مفهوم الاستنباطُ الطبيعي نظامُ غنتسن للبرهان، مبنيٌّ على قواعدِ إدخالٍ وحذفٍ تُحاكي الاستدلالَ الطبيعي.
- مفهوم حسابُ المتواليات حسابُ غنتسن العاملُ على متوالياتٍ Γ ⊢ Δ، محورُ نظرية البرهان البنيوية.
- مفهوم حذفُ القطع مبرهنةُ غنتسن الكبرى: كلُّ برهانٍ مُتوالٍ يُعاد دون قاعدة القطع، فتلزم خاصّةُ القضية الجزئية.
- مفهوم النموذج · التأويل بنيةٌ تُسنِد معنًى لرموز لغةٍ ما، تَصدُق تحتها جملُها أو تكذب.
- مفهوم التراصّ لمجموعةٍ من جُمَل المرتبة الأولى نموذجٌ إذا وفقط إذا كان لكلِّ جزءٍ منتهٍ منها نموذج.
- مفهوم لوفنهايم–سكولم إن كان لنظريةٍ من المرتبة الأولى نموذجٌ لا نهائي، فلها نماذجُ من كلِّ عددٍ أصليٍّ لا نهائي.
- مفهوم قضيةُ النقطة الثابتة في نظريةٍ قويةٍ بما يكفي، لكلِّ محمولٍ ψ جملةٌ تُثبِت ψ‑يتها عن نفسها: محرّكُ غودل وتارسكي.
- مفهوم عدمُ الاكتمال غودل: كلُّ نسقٍ صوريٍّ متّسقٍ يكفي للحساب يحوي قضايا صادقةً لا يستطيع برهنتها.
- مفهوم ترقيمُ غودل ترميزُ رموز لغةٍ صوريةٍ وبراهينِها أعدادًا طبيعية، فيغدو الحسابُ قادرًا على الحديث عن نفسه.
- مفهوم العوالمُ الممكنة دلالةُ كريبكي لمنطق الجهات: الضرورةُ صِدقٌ في كلِّ عالمٍ متاح، والإمكانُ في بعضِه.
- مفهوم تجريدُ لامدا تدوينُ تشرتش لدالّةٍ تُعرَّف بمقدار: ذرّةُ الحوسبة الدالّية.
- مفهوم تناظرُ كَري–هاوَرد التناظرُ الذي تكون فيه القضايا أنماطًا والبراهينُ برامج: المنطقُ والحوسبة، مُتطابقَين.
- مفهوم القابليةُ للبَتّ مسألةٌ قابلةٌ للبَتّ إن وُجِدت خوارزميةٌ تَحسِم كلَّ حالةٍ في زمنٍ منتهٍ؛ والمنطقُ ملِيءٌ بغيرِ القابل.
- مفهوم العددُ الأصلي حجمُ المجموعة، عمّمه كانتور إلى اللانهائي: ℵ₀ والمتّصل وما وراءهما.
- مفهوم بديهيّاتُ ZFC نظريةُ مجموعات تسيرملو–فرانكل مع الاختيار: الأساسُ البَدَهيُّ المعياريُّ للرياضيات الحديثة.
- مفهوم الجبرُ البولياني البنيةُ الجبريةُ للقضايا الكلاسيكية: الالتقاءُ والاتحادُ والتتميمُ على قوانين التوزيع.
- مفهوم الأحادية بديهيةُ ڤويفودسكي: الأنماطُ المتكافئةُ متساوية، قلبُ نظرية النمط الهوموتوبي.
- مبرهنة القياس (الشكلُ الأول) الاستدلالُ الصحيحُ مردودٌ إلى صورة: مقدّمتان كلّيتان يجمعهما حدٌّ أوسط تُلزِمان نتيجةً كلّية.
- مبرهنة مبرهنةُ كانتور لا تُرسَم مجموعةٌ على مجموعةِ قواها، فثمّةَ أحجامٌ لا نهائيةٌ متمايزةٌ للانهاية.
- مبرهنة مبرهنةُ لوفنهايم–سكولم لنظريةٍ عَدودةٍ من المرتبة الأولى ذاتِ نموذجٍ لا نهائي نماذجُ من كلِّ عددٍ أصليٍّ لا نهائي، منها غيرُ المقصود.
- مبرهنة مبرهنةُ الاكتمال في منطق المرتبة الأولى، يتطابق الصدقُ الدلاليُّ والبرهنةُ الصورية تمامًا: ما صَلُح أمكن برهانُه.
- مبرهنة مبرهنةُ التراصّ لمجموعةٍ من جُمَل المرتبة الأولى نموذجٌ إذا وفقط إذا كان لكلِّ جزءٍ منتهٍ منها نموذج: محرّكُ نظرية النماذج.
- مبرهنة عدمُ الاكتمال الأول كلُّ نسقٍ متّسقٍ قويٍّ بما يكفي للحساب يحوي قضيةً صادقةً لا يستطيع برهنتها.
- مبرهنة عدمُ الاكتمال الثاني لا يستطيع نسقٌ كهذا برهانَ اتساقه؛ فاليقينُ بنسقٍ لا يأتي إلا من خارجه.
- مبرهنة لاتعريفيةُ تارسكي لا يُعرَّف الصدقُ الحسابيُّ داخل الحساب نفسِه؛ فالصدقُ يفوقُ لغتَه أبدًا.
- مبرهنة حذفُ القطع كلُّ برهانٍ مُتوالٍ يُعاد دون قاعدة القطع؛ فلا يحتاج برهانٌ التفافًا عبر قضيةٍ وسيطة.
- مبرهنة عدمُ قابلية مسألةِ التوقّف للبَتّ لا خوارزميةَ تَحسِم لكلِّ برنامجٍ أيتوقّف، ولا أصالحةٌ جملةُ المرتبة الأولى.
- مبرهنة اتساقُ الحساب اتساقُ حساب بيانو قابلٌ للبرهان باستقراءٍ متعالٍ حتى ε₀، قياسًا دقيقًا لقوّته.
- مبرهنة استقلالُ فرضية المتّصل فرضيةُ المتّصل لا تُبرهَن ولا تُدحَض من ZFC: حسمها غودل وكوهين معًا.
- مبرهنة مبرهنةُ ليندستروم منطقُ المرتبة الأولى أقوى منطقٍ يجمع التراصَّ وخاصّةَ لوفنهايم–سكولم: صورةٌ لحدوده.
- مبرهنة تناظرُ كَري–هاوَرد البراهينُ والبرامجُ كائناتٌ واحدةٌ حقًّا: أن تَبرهن أن تَحسُب، فالمنطقُ والحوسبةُ شيءٌ واحد.
- مفارقة مفارقةُ الكاذب تأمَّلْ جملةً لا تقول عن نفسها إلا أنها كاذبة.
- مفارقة مفارقةُ رسل كوِّنْ مجموعةَ كلِّ المجموعات التي ليست عناصرَ في نفسها.
- مفارقة مفارقةُ الكُومة حبّةٌ واحدةٌ ليست كومة. وإضافةُ حبّةٍ لا تحوِّل اللاكومةَ كومةً أبدًا.
- مفارقة مفارقةُ كَري تأمَّلِ الجملة: «إنْ كانت هذه الجملةُ صادقةً، فكلُّ شيءٍ صادق».
- مفارقة مفارقةُ بيري سمِّ «أصغرَ عددٍ لا يُسمّى بأقلَّ من عشرين مقطعًا»، في تسعةَ عشرَ مقطعًا.
- مفارقة مفارقةُ غريلنغ–نلسون سَمِّ الكلمةَ «لاواصفةً» إن لم تصف نفسها. فهل «لاواصفة» لاواصفة؟
- حقل المفاهيم الأساسية أرضُ كلِّ شيء: القضايا والحجج، والصحّةُ والسلامة، وما معنى أن يكون الاستدلالُ صائبًا.
- حقل السياق التاريخي لم يُولَد المنطقُ تامًّا دفعةً واحدة. التطوُّرُ الطويل من العصور القديمة إلى الثورة الحديثة، ولِمَ خُطِّيت كلُّ خطوة.
- حقل منطق القضايا جداولُ الصدق، والروابط، وقواعدُ الاستدلال: جبرُ العبارات التامّة، وأوّلُ نسقٍ يُتقَن طبعًا.
- حقل المنطق القديم قياسُ أرسطو ومنطقُ الرواقيِّين القضويّ: الجدولان المؤسِّسان للتقليد الغربي.
- حقل منطق المحمولات المسوِّرات ومنطقُ المرتبة الأولى: اللغةُ التي تنفذ إلى داخل القضايا، إلى الأشياءِ والخصائصِ والعلاقات.
- حقل منطق العصور الوسطى مناطقةُ المدرسيّة والإسلام: نظريةُ الحَمل، والقياسُ الجهي، والجسرُ من القدماء إلى المُحدَثين.
- حقل الثورة الحديثة فريغه ورسل وهلبرت: المنطقُ الرمزي وحُلمُ المنطقيِّين في اشتقاق الرياضيات نفسِها من المنطق.
- حقل نظرية المجموعات والأسس بديهيّاتُ ZF، والعَدَدُ الأصلي، ونتائجُ الاستقلال الكبرى: الأساسُ المعياريُّ الذي تُبنى عليه الرياضيات.
- حقل نظرية البرهان البراهينُ موضوعًا للدرس: الاستنباطُ الطبيعي، وحسابُ المتواليات، وحذفُ القطع، أي بنيةُ البرهان ذاتِها.
- حقل المنطق الرياضي نظريةُ النماذج، والقابليةُ للحوسبة، والاستدعاءُ الذاتي: المنطقُ مُوجَّهًا إلى الرياضيات، والحدودُ التي كشفها غودل وتارسكي.
- حقل منطق الجهات الضرورةُ والإمكان، مُحكَمتَين بدلالةِ العوالم الممكنة عند كريبكي، ومعهما أخواتُها: المنطقُ الزمني والمعرفي والإلزامي.
- حقل المنطق اللاكلاسيكي المنطقُ الحدْسي ومتعدِّدُ القيم والوثيقُ والضبابي: أنساقٌ تُراجِع القوانينَ الكلاسيكية أو تردُّها، كلٌّ لسبب.
- حقل المنطق الفلسفي الشرطيّات، والمفارقات، وطبيعةُ المنطق نفسِه: حيث يُعيد المنطقُ أدواتِه إلى أسُسِه ذاتِها.
- حقل المنطق الحاسوبي برمجةُ المنطق والاستدلالُ الآلي، أي المنطقُ يُشغَّل: بُرولوغ، والحلّ، وقابليةُ الإشباع، وبراهينُ المبرهنات.
- حقل نظرية الفئات الكائناتُ والأسهم، والطوبوسات ونظريةُ الأنماط: لغةٌ مجرَّدةٌ للبنية، وأساسٌ بديلٌ للرياضيات.
- حقل التطبيقات المنطقُ في الميدان: علومُ الحاسوب واللسانيّات والعلومُ الإدراكية، أي التحقُّق، ودلالةُ اللغة، والاستدلالُ البشري.
- حقل المنطق الكمومي منطقُ القضايا الكمومية غيرُ التوزيعي، والبنيةُ المنطقية للحوسبة والمعلومات الكموميّة.
- حقل المنطق الجبري المنطقُ مصبوبًا جبرًا: الجبرُ البولياني والأسطواني وجبرُ العلاقات، الظلُّ الجبري الذي يُلقيه كلُّ منطق.
- حقل أبحاث الطليعة الرياضياتُ العكسية، وتعدينُ البراهين، ونظريةُ النمط الهوموتوبي، والتعقيدُ الوصفي: حيث يُكتَب الحقلُ الآن.
- مسار أزمةُ الأُسُس كيف بُني حُلمُ أساسٍ كاملٍ يقينيٍّ للرياضيات، ثم انكسر، ثم أُعيد بناؤه، من فردوس كانتور إلى حُكم كوهين.
- مسار البرهانُ يصير حَوسبة الاكتشافُ البطيءُ أنَّ البرهانَ والبرنامجَ شيءٌ واحد، من قواعد غنتسن إلى مساعدات البرهان اليوم.
- مسار حكايةُ اللانهائي ألفان وخمسُمئةِ عامٍ من رفضِ اللانهائيِّ بالفعل، ثم احتضانِه، ثم ترويضِه، واكتشافِ أنَّ حجمَه فوق متناولنا.
لا نتائج.