Urbanizzazione
Arnaldo Bagnasco
Introduzione
"Le città, punti immobili delle carte, si nutrono di movimento". È un'osservazione di Fernand Braudel, il quale introduce le città nel suo grande affresco [...] raramente nella storia una piena realizzazione delle sue possibilità formali: è accaduto con la polis greca e soprattutto con esclusione di quanto non può essere abbracciato da operazioni logiche. Le forme di adattamento della vita di relazione ...
Leggi Tutto
Modelli matematici in immunologia
Ulrich Behn
(Institut für Theoretische Physik, Universitat Leipzig Lipsia, Germania)
Franco Celada
(Cattedra di Immunologia, Università di Genova Genova, Italia)
Philip [...] , cioè l oppure O, e le regole sono regole logiche: e, o, non, sono operatori logici. Quindi la prima regola è da interpretarsi come segue: il sul principio dell'automa cellulare, le cui regole formali sono le seguenti (Wolfram, 1984): consiste in ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] proposizione booleana è costruita a partire da un certo numero di variabili logiche Xl, ... Xn che possono assumere solo due valori, 0 e introdotto da A.K. Mackworth nel 1973 . Il formalismo dello spazio gradiente, anche in versioni più sofisticate ...
Leggi Tutto
Autorità
Carlo Galli
Introduzione
Il termine 'autorità' riveste, nel linguaggio comune e in quello scientifico, una vasta gamma di significati, designando sia il fondamento o il criterio che origina [...] prestigio: si tratta del rapporto fra due libertà indipendenti e formalmente uguali, tali tuttavia che l'auctus (colui verso il quale un dato esterno e incontrollabile, che è l'esito logico dei tentativi di spiegare qualunque forma di obbedienza (ibid ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] il grosso del nostro esercito". La prospettiva indicata da Poincaré va in direzione opposta a quella seguita da logicisti e formalisti, ai quali riserva i paragrafi conclusivi della sua conferenza (Tav. III).
"In matematica non c'è alcun Ignorabimus ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] . Questo non è vero; la costruzione della matematica intuizionista è indipendente da tali controesempi.
Un sistema formale di logica intuizionista è stato dato da Heyting. Naturalmente un tale sistema non intende fornire una fondazione per la ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...]
Agli inizi del secolo, il costruttivismo fu l'ultima risposta alle incertezze suscitate dai paradossi logici che tempestavano il formalismo. Esso rappresentava la versione matematica della dottrina dell'operazionismo. Il suo punto di partenza, in ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
Il diffondersi sempre più rapido delle tecnologie digitali in tutte le attività umane è il fenomeno che meglio caratterizza l’epoca che stiamo vivendo. Si può inquadrare ciò che sta avvenendo facendo riferimento [...] 20% dei cittadini ha partecipato a corsi di aggiornamento non formali, contro una media, a livello mondiale, del 34%.
La microprocessore al mondo, l’Intel 4004, che realizzava l’intera logica di un computer su un chip. Inviato negli Stati Uniti nella ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] , l'esercizio dei Principia mathematica penetrava certamente fino alle radici logiche della matematica ed estendeva a tutte le sue parti l'ideale di rigore formale il cui precedente esemplare era stato quello della geometria euclidea, due millenni ...
Leggi Tutto
Perceptron: passato e presente
Gérard Dreyfus Léon Personnaz
(Laboratoire d'Électronique, École Supérieure de Physique et de Chimie lndustrielles, Parigi, Francia)
Gérard Toulouse
(Laboratoire de Physique, [...] settori di applicazione. Storicamente, le prime idee sui neuroni formali (con uscite binarie o continue) sono emerse come astrazioni in particolare riguardo la loro capacità di effettuare operazioni logiche e binarie. Negli anni Cinquanta e Sessanta, ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...