Le teorie fisiche validate e riconosciute stabili dalla comunità scientifica,possono essere espresse in linguaggio formale coerente internamente e consistente con i dati sperimentali.
Tale linguaggio è matematica al livello necessario .
Lo sviluppo dei computer permette ormai di simulare un qualsiasi modello fisico attraverso un software adeguato che é anch'esso un linguaggio formalizzato .
Esiste evidentemente una corrispondenza stretta tra i due linguaggi e una modalità di traduzione. Anche il linguaggio parlato(scritto) costituito da proposizioni dichiarative e connessioni logiche ,con quantificatori e tutto l'armamentario del caso puo' essere "configurato" in termini formali.
Viste le enormi difficolta' incontrate nel "tradurre" in linguaggio scritto alcune questioni di fisica quantistica
(m.q.,q.e.d.,q.c.d.,m.s.,etc.) mi chiedo se non esiste la possibilità di un traduttore .
Lino
Received on Wed Jun 28 2017 - 14:11:04 CEST
This archive was generated by hypermail 2.3.0
: Mon Jan 20 2025 - 04:22:55 CET