SLMK
Financiado
Duración del proyecto: 31 meses
Fecha Inicio: 2016-02-15
Fecha Fin: 2018-09-30
Finalizado
Fecha Fin: 2018-09-30
Finalizado
Presupuesto del proyecto
159K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Applied Physics
Software
Mathematics Philosophy of Mind Computer Science Artificial Intelligence
Mathematics Philosophy of Mind Computer Science Artificial Intelligence
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#mathematical knowledge
#Gödel's Disjunction
#Turing machine
#mathematical logic
#provable statements
#human mind
#mechanisation
Lider