CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project explores whether the human mind can be replicated by machines through a rigorous examination of mathematical logic. It focuses on Gödel's Disjunction, investigating the limits of provability in mathematics and the implications for artificial intelligence.
A fundamental philosophical question is whether the mind can be mechanised.
Attempts to answer it so far have been inconclusive;
I argue that with the tools of mathematical logic this question can be sharpened and addressed in a framework where genuine progress can be achieved.I will consider a disjunctive thesis proposed by Gödel (known as Gödel's Disjunction) as a precise version of this question.
Once sharpened, the question becomes whether a Turing machine (an idealised computer) can output…
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
