formalizzazióne

Indice

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.

Trovi questo termine anche in:

Quiz

Mettiti alla prova!

Testa la tua conoscenza e quella dei tuoi amici.

Fai il quiz ora