2023. 12. 07.
Szerzők:
Kaposi Ambrus, Eötvös Loránd Tudományegyetem, Informatikai Kar, Programozási Nyelvek és Fordítóprogramok Tanszék és
Molnár Zoltán Gábor, Budapesi Műszaki és Gazdaságtudományi Egyetem, Természettudományi Kar, Algebra és Geometria Tanszék
A filozófia csodálatos hatékonysága a formális tudományokban
A szerzők bemutatnak néhány filozófiai motiváltságú témát, arra biztatva az olvasót, hogy legyen nyitott a formális tudományok és a filozófia gyümölcsöző kapcsolatának felfedezésére.