"Ce projet cherche à comprendre l'interaction dynamique entre les théories mathématiques informelles et leur formalisation. Le terme ambiguë « formalisation » est au centre du projet." (dal progetto ufficiale)
Formalisme, formalisation, intuition et compréhension en mathématiques : de la pratique informelle aux systèmes formels et retour » (« FFIUM »)
M. Buzzoni;HEINZMANN, GERHARD OTTO;
2018-01-01
Abstract
"Ce projet cherche à comprendre l'interaction dynamique entre les théories mathématiques informelles et leur formalisation. Le terme ambiguë « formalisation » est au centre du projet." (dal progetto ufficiale)File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
HEINZMANN Project FFIUM Convention + DAF signés par tous.pdf
solo utenti autorizzati
Descrizione: Contratto fra il principal investigator del progetto, il direttore della struttura che conduce il progetto e l'agenzia francese per la ricerca
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
DRM non definito
Dimensione
6.13 MB
Formato
Adobe PDF
|
6.13 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
