ricorsivita

Enciclopedia della Matematica (2013)

ricorsivita ricorsività in logica, caratteristica di un procedimento che riduce la complessità di un problema riportandolo a problemi via via più semplici cui il procedimento stesso viene applicato. [...] modelli di calcolo, fra cui l’insieme delle → funzioni ricorsive, il → lambda-calcolo e la macchina universale di → Turing, i sistemi di → Post. Tali modelli si sono rilevati equivalenti nel senso che l’insieme delle funzioni ricorsive coincide con ... Leggi Tutto

TAGS: RICORSIVAMENTE ENUMERABILE – TEORIA DELLA → COMPLESSITÀ – TEORIA DEGLI INSIEMI – FUNZIONE CALCOLABILE – INFORMATICA TEORICA

Somenzi, Vittorio

Enciclopedia Italiana - VI Appendice (2000)

Somenzi, Vittorio Antonio Rainone Filosofo della scienza, nato a Redondesco (Mantova) il 2 aprile 1918. Ufficiale meteorologo nel Genio aeronautico, nel 1945 partecipò alla Resistenza come ufficiale [...] del 1965 (1994³, notevolmente ampliata, in collab. con R. Cordeschi), in cui venivano presentati scritti di N. Wiener, A.M. Turing, C.E. Shannon, J. von Neumann e diversi altri. Sostenitore di un approccio riduzionista alla 'mente', S. ha in seguito ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: INTELLIGENZA ARTIFICIALE – BIOLOGIA EVOLUZIONISTICA – FILOSOFIA DELLA SCIENZA – OPERAZIONISMO – MATERIALISTA

Programmazione, algoritmi di

Enciclopedia della Scienza e della Tecnica (2008)

Programmazione, algoritmi di Alessandro Panconesi Il termine algoritmo denota un procedimento sistematico ed esplicitato nei suoi passi elementari per l’esecuzione di un calcolo, inteso nella sua accezione [...] : the enigma, New York, Simon and Schuster, 1983 (trad. it.: Storia di un enigma: vita di Alan Turing, Torino, Bollati Boringhieri, 1991). Luccio, Pagli 1999: Luccio, Fabrizio - Pagli, Linda, Algoritmi, divinità e gente comune, Pisa, ETS, 1999. Nagel ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI

teoremi di indecidibilita

Enciclopedia della Scienza e della Tecnica (2008)

teoremi di indecidibilità Silvio Bozzi In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] risultati di indecidibilità che non riguardano direttamente teorie formalizzate, per es., il problema della fermata per macchine di Turing, il problema della lambda-convertibilità o quello della derivabilità di parole entro sistemi di Post e così via ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: PROBLEMA DELLA FERMATA – MACCHINE DI TURING – LOGICA MATEMATICA – TEORIA DEI NUMERI – ARITMETICA

Mente e cervello

Enciclopedia Italiana - VII Appendice (2007)

Mente e cervello Pietro Calissano Il cervello Il sistema nervoso, di cui il cervello costituisce la parte più consistente, ha la funzione di ricevere informazioni dal mondo esterno, elaborare queste [...] macchine intelligenti avrebbero eguagliato e superato l'intelligenza naturale. Tra i primi ad avanzare queste ipotesi fu A.M. Turing il quale, nel 1950, pubblicò un articolo dal titolo Una macchina può pensare?, in cui tale domanda ne sottintendeva ... Leggi Tutto

CATEGORIA: NEUROLOGIA

TAGS: SECONDA GUERRA MONDIALE – PLASTICITÀ CEREBRALE – SCIMMIE ANTROPOMORFE – POTENZIALE D'AZIONE – CORTECCIA CEREBRALE

macchina

Dizionario delle Scienze Fisiche (1996)

macchina màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] ), sistemi formali che costituiscono modelli discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teorema di: III 56 f); (b) teoria delle m., lo studio delle analogie funzionali tra le m ... Leggi Tutto

CATEGORIA: BIOFISICA – ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA DEI PLASMI – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – MECCANICA – MECCANICA QUANTISTICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – STATISTICA E CALCOLO DELLE PROBABILITA

Innsbruck

Enciclopedia on line

Città dell’Austria (118.362 ab. nel 2008), capitale del Tirolo, situata a 574 m s.l.m. in una larga ansa del fiume Inn, alla confluenza con la Sill; è dominata a N dalla cima del Solstein (2641 m). Posta [...] ). Molte case sono in stile gotico tardo (15°-16° sec.). Tra gli edifici notevoli: la Hofkirche dei Francescani, di N. Türing il Giovane (1553-63), con il celebre sepolcro dell’imperatore Massimiliano I; le chiese barocche di S. Giacomo (1717-24), di ... Leggi Tutto

CATEGORIA: ARTE E ARCHITETTURA PER CONTINENTI E PAESI – EUROPA

TAGS: CONGRESSO DI VIENNA – EPOCA ROMANA – FRANCESCANI – NAPOLEONE – SVIZZERA

Penrose, Sir Roger

Enciclopedia on line

Matematico e fisico britannico (n. Colchester 1931). P. ha dato importanti contributi nella teoria della relatività generale, formulando l'ipotesi secondo la quale la singolarità centrale di un buco nero [...] artificiale, e ha definito una teoria basata su un'analogia tra le attività della mente e una macchina di Turing, accomunate dalla capacità di operare per algoritmi. Ha inoltre proposto e studiato la nozione di tassellazione quasi periodica del ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: INTELLIGENZA ARTIFICIALE – MECCANICA QUANTISTICA – MACCHINA DI TURING – NEW BRUNSWICK – TASSELLAZIONE

STRUTTURA

Enciclopedia Italiana - V Appendice (1995)

STRUTTURA Natale Gucci Mario Como Roberto Capra Paolo Zellini (App. II, II, p. 923; III, II, p. 857; IV, III, p. 504) Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] e la possibilità di risolverlo con metodi numerici adeguati. Nell'immediato dopoguerra, J. von Neumann, H.H. Goldstine, A. Turing, J. Wilkinson e altri inaugurarono un nuovo tipo di ricerche sulla possibilità di definire algoritmi eseguibili in modo ... Leggi Tutto

TAGS: RAPPRESENTAZIONE, DI UN GRUPPO – LINGUAGGI DI PROGRAMMAZIONE – EQUAZIONI DIFFERENZIALI – PROBLEMA DELLA FERMATA – PROPRIETÀ ASSOCIATIVA

rete neurale

Enciclopedia della Matematica (2013)

rete neurale rete neurale modello matematico e informatico per l’elaborazione delle informazioni, denominato anche rete neurale artificiale, ispirato alla fisiologia e al funzionamento del cervello umano [...] di simboli, come avviene in una macchina formale automatica a stati discreti e sequenziali (per esempio la macchina di → Turing o l’elaboratore elettronico digitale). Il connessionismo sostiene invece la necessità di emulare le proprietà funzionali e ... Leggi Tutto

TAGS: INTELLIGENZA ARTIFICIALE – RAGIONAMENTO DEDUTTIVO – PLASTICITÀ SINAPTICA – FUNZIONE DI STATO – AUTORGANIZZAZIONE