formalizzazióne

sf. [da formalizzare].

1) Atto ed effetto del formalizzare.

2) In matematica e in logica matematica, procedimento di traduzione degli enunciati del linguaggio comune o di una teoria in formule. Il processo di formalizzazione si può intendere in due modi differenti. Il primo, proprio degli inizi della logica e della matematica e, più tardi, delle scienze empiriche, consiste nell'uso di simboli o segni convenzionali, di definizioni più o meno esatte e di alcune regole di formazione e di inferenza più o meno precisate. Questo tipo di formalizzazione ha contribuito sostanzialmente alla nascita e allo sviluppo della scienza. Il secondo modo implica invece la costruzione di un sistema formale, cosa resa possibile solo in questo secolo con lo sviluppo della logica matematica.