Opendata, web and dolomites

SLMK

The Scope and Limits of Mathematical Knowledge

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "SLMK" data sheet

The following table provides information about the project.

Coordinator
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN 

Organization address
address: GESCHWISTER SCHOLL PLATZ 1
city: MUENCHEN
postcode: 80539
website: www.uni-muenchen.de

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Germany [DE]
 Project website https://www.mcmp.philosophie.uni-muenchen.de/people/faculty/antonutti_marfori_marianna/index.html
 Total cost 159˙460 €
 EC max contribution 159˙460 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2015
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2016
 Duration (year-month-day) from 2016-10-01   to  2018-09-30

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN DE (MUENCHEN) coordinator 159˙460.00

Map

 Project objective

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 exactly the statements that are 'absolutely provable'—i.e. the mathematical statements that can be proved in principle by an idealised mathematician not bound by limitations of time and cognitive resources. Gödel's Disjunction states that either the powers of the human mind exceed those of a Turing machine, or there are true but unprovable mathematical statements—i.e. mathematical statements that are beyond the reach of human reason.
My proposed research will provide a novel account of 'absolute provability' or 'provability in principle' by developing a formal framework that overcomes the philosophical and technical shortcomings of the previous approaches. Having formulated the correct framework for absolute provability and uncovered its underlying mechanisms, I will be able to determine the status of Gödel’s disjunction. This will shed considerable light on the question of whether mind can be mechanised, a question central to philosophy of mind and artificial intelligence, and on the scope and limits of mathematical knowledge.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "SLMK" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "SLMK" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

EPIC (2019)

Evolution of Planktonic Gastropod Calcification

Read More  

POMOC (2019)

Charles IV and the power of marvellous objects

Read More  

MAREITA (2018)

Mapping Remediation in Italian Literature Beyond the Digital Revolution

Read More