L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremi di incompletezza di Gӧdel, illustrando l’idea alla base della [...] dimostrazione del primo teorema di incompletezza. Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
programmabile
programmàbile agg. [der. di programmare]. – Che si può programmare, ossia prevedere, predisporre: ormai si sa tutto ... tutto in termini esatti, già programmato o programmabile (Volponi). Anche con riferimento alla programmazione...
Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, di una linea di condotta da seguire, degli obiettivi a cui si mira e dei mezzi con cui si intende raggiungerli.
Economia
Nella costituzione di una società per azioni,...
PROGRAMMA (gr. πρόγραμμα)
Francesco Paolo Japichino
Piano generale che si premette a un lavoro o col quale se ne dà notizia; indicazione della materia da studiare in un dato ordine di scuole, resa obbligatoria (in Italia) dallo stato con regio...