Towards a theory of mathematical signs based on the automatic treatment of mathematical corpora

Informazioni relative al progetto

SemioMaths

ID dell’accordo di sovvenzione: 839730

DOI

10.3030/839730

Progetto chiuso

Data della firma CE 9 Aprile 2019

Data di avvio 1 Ottobre 2019

Data di completamento 30 Dicembre 2022

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 191 149,44

Contributo UE

€ 191 149,44

Coordinato da

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Other (3)

The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction

Autori: Juan Luis Gastaldi Luc Pellissier
Pubblicato in: 2021
Editore: HAL

semiolog

Autori: Juan Luis Gastaldi
Pubblicato in: 2023
Editore: GitHub/PyPI
DOI: 10.5281/zenodo.7659083

Content from Expressions: The Place of Textuality in Deep Learning Approaches to Mathematics

Autori: Juan Luis Gastaldi
Pubblicato in: 2023
Editore: HAL

Peer reviewed articles (3)

Swipe, ou l'écriture tout court

Autori: Juan Luis (Gianni) Gastaldi Bérénice Serra
Pubblicato in: Formules, Numero 22, 2020, Pagina/e 145-181, ISSN 1275-7713
Editore: Presses universitaires du Nouveau Monde

The calculus of language: explicit representation of emergent linguistic structure through type-theoretical paradigms

Autori: Juan Luis Gastaldi; Luc Pellissier
Pubblicato in: Interdisciplinary Science Reviews, Numero 46 (4), 2021, Pagina/e 569–590, ISSN 0308-0188
Editore: Maney Publishing
DOI: 10.3929/ethz-b-000511949

Why can computers understand natural language? The structuralist image of language behind word embeddings

Autori: Juan Luis Gastaldi
Pubblicato in: Philosophy & Technology, Numero 34 (1), 2021, Pagina/e 149–214, ISSN 2210-5433
Editore: Springer Verlag
DOI: 10.1007/s13347-020-00393-9

Book chapters (2)

Le Contexte en Traitement Automatique des Langues

Autori: Juan Luis Gastaldi Richard Moot Christian Retoré
Pubblicato in: Les concepts fondateurs de la philosophie du langage: Contexte, 2023
Editore: ISTE

De Morgan’s De Morgan’s Laws: Duality in the Emergence of Formal Logic

Autori: Juan Luis Gastaldi
Pubblicato in: Duality in 19th and 20th century mathematical thinking, 2023
Editore: Birkhäuser