جولييت كينيدي

جولييت كينيدي أستاذة مشاركة في قسم الرياضيات والإحصاء بجامعة هلسنكي . وتتركز اهتماماتها البحثية الرئيسية على المنطق الرياضي وأسس الرياضيات . وقد نشرت خلال مسيرتها المهنية العديد من الدراسات حول أعمال كورت غودل .

كينيدي أستاذ مشارك في قسم الرياضيات والإحصاء بجامعة هلسنكي. ^{[ 2 ] : xv}

يركز بحث كينيدي في جامعة هلسنكي على المنطق الرياضي في مجال نظرية النماذج القائمة على نظرية المجموعات ونظرية المجموعات . وفي سياق عملها الرياضي، تبحث أيضًا في تاريخ الرياضيات وأسسها . وفي هذا السياق، أنجزت مشروعًا موسعًا لوضع أعمال كورت غودل في سياقها التاريخي والتأسيسي. [ ^{2 ] : xv وفي} عام 2017، نشرت بحثها حول التفاعل بين أعمال آلان تورينج وأعمال غودل، الذي عرّف في عام 1956 مسألة P مقابل NP في رسالة إلى جون فون نيومان . ^{[ 2 ] : 14}

كينيدي ورومان كوساك هما محررا كتاب نظرية المجموعات والحساب وأسس الرياضيات: النظريات والفلسفات ، الذي نُشر ككتاب رقم 36 في سلسلة محاضرات في المنطق عام 2012 من قبل مطبعة جامعة كامبريدج . ^{[ 3 ]}

كينيدي هو محرر كتاب "تفسير غودل: مقالات نقدية" ، الذي نشرته مطبعة جامعة كامبريدج عام 2014 وأعيد طبعه عام 2017. جمع كينيدي في هذا الكتاب نخبة من الفلاسفة والرياضيين المعاصرين لاستكشاف أثر أعمال غودل على أسس وفلسفة الرياضيات . وقد صاغ عالم المنطق كورت غودل في عام 1931 نظريات عدم الاكتمال ، التي تثبت، من بين أمور أخرى، أنه ضمن أي نظام رسمي يمتلك موارد كافية لترميز العمليات الحسابية، توجد أسئلة لا يمكن إثباتها ولا دحضها استنادًا إلى البديهيات التي تُعرّف النظام. ^{[ 4 ]}

• قائمة المنشورات في DBLP