Una lezione magistrale per rigore concettuale e per semplicità di comunicazione che offriamo agli insegnanti dei diversi ordini di scuola, primaria e secondaria, perché mette a tema un contenuto strutturale di importanza fondamentale per tutte le scienze della natura. Emerge chiaramente che la matematizzazione della realtà è all’origine del sapere scientifico, come un filo conduttore da riscoprire e riproporre nello svolgersi dell’attività didattica. Un testo non solo da leggere e da comprendere, ma da «studiare» e da «applicare», per incrementare la propria consapevolezza critica.
Il termine «modello» viene utilizzato quotidianamente nel linguaggio comune e ha, come avviene quasi sempre, vari significati. Tuttavia esiste un concetto comune a tutti questi significati, concetto che potrebbe essere esposto presentando il modello di qualche cosa come un oggetto, una persona, un sistema fisico che ha qualche somiglianza con un altro oggetto o ente vivente, che si vuole conoscere o imitare o riprodurre.
Ciò si può anche dedurre dai termini sinonimi, che spesso vengono impiegati al posto del termine originale; tra questi termini sinonimi ricordiamo per esempio: bozzetto, abbozzo, forma, manichino, archetipo, prototipo, eccetera.
Anche la scienza utilizza il termine «modello» e, come al solito, lo fa precisandolo, in modo che il termine stesso abbia un significato costante e fissato e non debba essere definito di volta in volta dal contesto.
Tuttavia, anche in questo caso, il termine «modello» assume vari significati, in dipendenza delle varie teorie e dei vari ambiti nei quali esso viene impiegato; e ci pare interessante soffermarci ad analizzare questi ambiti e questi diversi impieghi di un medesimo termine, perché crediamo che questa riflessione possa condurre anche a comprendere meglio alcune procedure che la scienza adotta nelle sue varie branche.
Pare a noi che nell’impiego scientifico il termine «modello» venga adottato con vari significati, che hanno tuttavia un fondo comune, di cui abbiamo detto sopra.
Rifletteremo quindi su questi diversi impieghi di un medesimo termine, allo scopo di comprendere meglio il cammino che noi percorriamo nella ricerca della verità.
Il modello iconico
Consideriamo il primo senso in cui viene presentato e utilizzato il concetto di modello nella tecnica e nella scienza. Si potrebbe dire che si tratta di un comportamento del tutto naturale da parte del ricercatore o del tecnico; tuttavia è utile riflettere sulle ipotesi, spesso non coscientemente analizzate e non esplicitamente enunciate, sulle quali si basa l’impiego del modello in questo primo caso.
Infatti, in questa prima accezione, il modello viene considerato come un sistema materiale che ha, per qualche buona ragione, degli aspetti in comune con un altro sistema materiale che si vuole conoscere; in forza di questa analogia o similitudine tra i due sistemi, le osservazioni o le misure fatte su uno di essi vengono assunte come base per trarre delle informazioni sull’altro dei sistemi materiali.
Si pensi per esempio a ciò che si fa abitualmente nelle gallerie del vento per i modelli di aerei, o nelle vasche navali per i modelli di navi. La resistenza che un certo aereo oppone all’avanzamento, la portanza di un certo profilo alare, la resistenza di un certo scafo al muoversi nell’acqua sono informazioni necessarie per la costruzione degli aerei e delle loro ali o per la costruzione delle navi.
Tuttavia risulta molto difficile, e spesso impossibile o troppo costoso, desumere queste informazioni dalle macchine effettivamente costruite; quindi se ne costruisce prima un modello in scala, sul quale si fanno le misure. Lo stesso avviene per certe dighe grandissime, per certi edifici e per certi materiali che servono per la loro costruzione. Considerazioni analoghe si possono fare a proposito della rappresentazione di una regione della Terra; tutti conoscono l’uso delle carte geografiche o topografiche, dei mappamondi e di altre immagini del nostro pianeta o di sue parti. Queste immagini sono costruite, come suol dirsi, «in scala» e le misure che si eseguono sulle immagini forniscono informazioni sulle reali dimensioni delle zone geografiche rappresentate. [Immagine a sinistra: Willelm Blaeu, Carta dell’America (XVII secolo), Università di Bologna, Museo delle Navi]
L’impiego di modelli in questo modo è accettato comunemente come una cosa del tutto naturale; tuttavia vale la pena di riflettere su questo impiego, per rendere esplicite le ipotesi sulle quali esso si fonda.
La costruzione del modello di una certa realtà fisica che si vuole conoscere si fonda essenzialmente sulla constatazione di una certa analogia tra ciò che si costruisce e ciò che si rappresenta; analogia che viene accettata su basi più o meno solide, ma che giustifica la procedura seguita. Il rispetto di questa analogia, intuita in un primo tempo e accettata in un secondo tempo come ipotesi di lavoro, si esplica in vari modi: per esempio, nel caso della gallerie del vento e delle vasche navali, si cerca di costruire il modello rispettando il più possibile la similitudine geometrica; tale similitudine infatti potrebbe essere considerata come il primo, il più intuitivo e chiaro esempio di analogia tra enti materialmente diversi tra loro.
Lo stesso si può dire per quanto riguarda le carte geografiche o topografiche, le quali vengono considerate tanto più utili quanto più le misure eseguite su di esse danno informazioni precise sulla reale conformazione della zona di superficie terrestre interessata.
Tuttavia l’analogia può anche non limitarsi alla pura similitudine geometrica di forma, ma può riguardare delle proprietà più riposte dei due sistemi materiali. Per comprendere queste situazioni possiamo pensare per esempio ai modelli di distribuzione di velocità o di forze ottenuti con campi elettrici, variamente realizzati. In questo caso infatti l’analogia che permette di desumere le proprietà di un sistema materiale dalle misure eseguite su di un altro si fonda sulla circostanza che entrambi i sistemi materiali ubbidiscono, con buona approssimazione, a leggi che hanno la stessa forma matematica.
Nello stesso ordine di idee si potrebbe pensare agli esperimenti eseguiti con i farmaci sugli animali: in questo caso si potrebbe dire che l’organismo dell’animale è considerato come un modello del nostro, presumendo che la reazione dell’animale al veleno oppure al farmaco, alla malattia o all’infezione sia analoga a quella dell’uomo.
Infine, sempre nello stesso ordine di idee, possiamo pensare alla procedura che si segue quando si assimila un certo evento aleatorio al risultato della manipolazione su certi sistemi materiali, manipolazione che può dare risultati non prevedibili con certezza.
Una situazione di questo tipo si avvera quando si schematizza un certo evento aleatorio con l’estrazione di palline da certe urne o con altre manipolazioni di sistemi materiali. In questo caso abbiamo un sistema materiale (per esempio l’urna nella quale siano state introdotte delle palline di diverso colore, in certe proporzioni) e si pensa, con buone ragioni, che l’esito di una estrazione renda abbastanza bene un evento aleatorio che si vuole conoscere; anche qui si potrebbe dire che l’urna viene assunta come modello del sistema materiale, il cui comportamento non è conosciuto completamente e pertanto viene considerato come aleatorio.
Significato e limiti del modello iconico
Gli esempi presi in considerazione, e soprattutto l’ultimo, mostrano chiaramente quali siano i limiti della procedura che si avvale dei modelli per conoscere la realtà, e quante siano le precauzioni da prendere quando si voglia evitare di essere fuorviati e ingannati da analogie e similitudini accettate in modo acritico e affrettato.
Queste precauzioni sono ben note da tempo: per esempio già Galileo Galilei nel suo celebre Dialogo sopra due nuove scienze rileva che non è possibile aumentare a dismisura le dimensioni delle strutture materiali, perché una trave incastrata può spezzarsi sotto il proprio peso se si immaginano le sue dimensioni aumentate sopra ogni limite.
Quindi per esempio i paesi incontrati dal viaggiatore Gulliver nei viaggi immaginari descritti dallo scrittore irlandese Jonhatan Swift non possono esistere nella realtà; in particolare le ossa dei giganti del paese di Bronignag si romperebbero sotto il peso dei loro corpi. Analoghe considerazioni possono essere fatte a proposito delle fantasie elaborate dal matematico, filosofo e teologo francese Blaise Pascal (1623-1662) [Immagine a destra]; questi, in una celebre pagina, per mostrare la grandezza e la miseria dell’uomo, immagina che mondi simili al nostro universo possano esistere in una sola goccia del sangue di un piccolissimo insetto. Anche in questo caso si può dire che la fantasia ha condotto troppo lontano la mente del grande matematico perché le leggi della natura impediscono l’esistenza reale di mondi che sono la pura e semplice riduzione o ingrandimento geometrico del nostro.
Tuttavia molto spesso la costruzione o l’utilizzazione di un modello sono indispensabili per poter avviare la conoscenza di una realtà che si presenta a prima vista come troppo complessa per poter essere conosciuta più profondamente. E spesso anche la costruzione di un modello permette di verificare, di convalidare e di sottoporre a critica le conoscenze che si credono possedute in forza di certe teorie; e a sua volta l’esistenza di un modello stimola la costruzione di una teoria che conduca a un possesso più profondo della realtà che si sta indagando.
Si potrebbe quindi concludere che l’impiego di modelli, in questo primo senso, è quasi sempre utilissimo per la scienza e per la tecnica, e molto spesso indispensabile; il compito dello scienziato è quello di dominare in ogni istante lo strumento che ha scelto, di controllare le proprie procedure, e di sottoporre a critica le informazioni che crede di aver tratto e che vuole trarre dal modello. In sintesi, e in modo abbastanza rudimentale ma forse efficace, si potrebbe dire che il modello viene utilizzato in forza di una presunta similitudine e analogia con la realtà che si vuole conoscere e indagare; e quindi l’abilità e la profondità di pensiero dello scienziato si manifestano con la critica puntuale e precisa di queste presunte analogie e con il continuo controllo delle informazioni che si ottengono.
I modelli esplicativi della scienza
Abbiamo considerato un primo significato del termine «modello» nella pratica della scienza; prenderemo ora in considerazione un secondo significato in cui il termine stesso viene assunto nella ricerca scientifica. Infatti in questa si parla spesso di modello intendendo indicare un sistema materiale, che è immaginato per spiegare le osservazioni e le misure da noi eseguite sulla realtà che vogliamo conoscere. Per spiegare meglio citiamo, come primo esempio, il celebre modello atomico di Bohr-Rutherford; in esso, l’atomo veniva immaginato come un sistema solare in miniatura, dotato di un nucleo relativamente pesante, attorno al quale si immaginava che ruotassero gli elettroni, così come i pianeti ruotano attorno al Sole.
Si potrebbe dire che l’elaborazione di un modello immaginario sia la procedura principale di cui si avvale la scienza fisico-matematica per poter indagare le leggi della natura materiale: possiamo pensare, per esempio, agli scienziati che immaginavano il calore come un fluido sottilissimo che invade i corpi, oppure a quelli che immaginavano un etere cosmico, il cui ufficio avrebbe potuto essere quello di trasmettere a distanza le forze gravitazionali e quelle elettriche e magnetiche; oppure possiamo pensare al modello che la teoria cinetica dei gas si costruiva, immaginando le molecole come delle sferette perfettamente elastiche, i cui urti contro le pareti del recipiente dovevano spiegare la pressione esercitata dal gas sulle pareti stesse; e la temperatura del gas veniva messa in relazione con l’energia cinetica delle sferette, le quali erano indipendenti dalla natura chimica del gas. Questa infatti potrebbe essere considerata come la immediata conseguenza della nota legge di Avogadro (1776-1856) [Immagine a sinistra], secondo la quale volumi uguali di gas, alla stessa temperatura, contengono lo stesso numero di molecole; il che potrebbe essere espresso, ripetiamo, dicendo che le molecole hanno un ingombro indipendente dalla loro natura chimica.
Abbiamo detto che la costruzione di un modello cosiffatto è una delle procedure più frequenti adottate dalle scienze della natura; aggiungiamo che la costruzione di un modello immaginario è molto naturale perché l’immaginazione è una facoltà il cui apporto è utilissimo per la comprensione della natura delle cose materiali; il modello immaginato diviene quindi il fondamento delle ipotesi che si formulano per spiegare la natura delle cose materiali. È appena necessario ricordare che le ipotesi, come tali, riguardano proprietà che non sono direttamente verificabili, cioè non sono oggetto di osservazione.
Soltanto le conseguenze dedotte da quelle ipotesi possono essere oggetto di osservazione e di verifica; e qui si innesta tutta la metodologia codificata dalla filosofia scientifica di oggi, metodologia che potrebbe essere esposta sbrigativamente dicendo che ogni osservazione coerente con le conseguenze di una data ipotesi non costituisce dimostrazione della validità assoluta dell’ipotesi stessa, perché anche un’altra ipotesi, magari anche totalmente diversa dalla prima, potrebbe avere le stesse conseguenze di quella. Invece ogni osservazione che contraddica alle conseguenze delle ipotesi provoca la demolizione di queste.
Ovviamente queste rudimentali enunciazioni ritraggono soltanto una situazione schematica e astratta: nella realtà concreta l’adozione dei metodi quantitativi, per la descrizione della realtà e per la formulazione delle ipotesi, rende sempre possibile l’esistenza di margini di approssimazione e di errori di misura. Ne consegue che spesso si esita ad abbandonare un modello esplicativo della realtà, anche quando le sue conseguenze non sono completamente in accordo con l’osservazione, e si attribuisce il disaccordo agli errori di osservazione oppure alle inevitabili approssimazioni delle osservazioni iniziali.
Tuttavia la costruzione di un modello ha permesso di stabilire moltissime leggi fondamentali della natura, anche se spesso ha anche in qualche misura bloccato la ricerca, avviando verso strade che non conducevano alla verità.
Gli esempi a conforto di queste nostre affermazioni abbondano in ogni ramo della scienza; si pensi al modello fornito dalla teoria cinetica dei gas, descritto poco sopra. Immaginiamo il gas posto in un cilindro chiuso da uno stantuffo scorrevole; il modello spiega la pressione sullo stantuffo immaginando le molecole in moto rapidissimo, che di tanto in tanto urtano contro lo stantuffo, rimbalzano elasticamente, in modo che la risultante di questi urti si manifesti come la pressione esercitata dal gas contro lo stantuffo. Immaginiamo ora di spostare lo stantuffo, in modo che il volume del recipiente sia ridotto per esempio alla metà, e di mantenere il gas sempre alla stessa temperatura; un calcolo immediato porta allora a concludere che gli urti delle molecole contro lo stantuffo raddoppieranno di numero, nello stesso periodo di tempo, e quindi anche raddoppierà la pressione, che è la manifestazione di questi urti.
Si ottiene così la spiegazione che viene espressa matematicamente con la legge detta di Boyle (1627-1691) [Immagine a destra] e Mariotte (1620-1684) [Immagine che segue a sinistra]:
Pressione • volume = costante.
Tuttavia è anche noto che questa legge risulta essere soltanto una prima approssimazione del comportamento di un gas: infatti, via via che le misurazioni si facevano più precise e gli esperimenti si moltiplicavano, si discostavano quasi tutti da questa legge, la quale pertanto risulta valida soltanto per quelli che vengono chiamati gas «ideali» o gas perfetti, monoatomici.
Pertanto, per poter descrivere in modo più accurato il comportamento di un gas, si apportarono dei ritocchi alla legge sopra enunciata, giungendo così a scrivere una legge che viene rappresentata, in un diagramma cartesiano, con quelle che vengono abitualmente chiamate le (curve) isoterme dei gas «reali».
Indicando con p e V rispettivamente la pressione e il volume di un gas, con T la temperatura assoluta e con R una costante valida per tutti i gas, e indicando infine con a e b due costanti caratteristiche di ogni gas, le isoterme sono rappresentate da equazioni del tipo della seguente:
(V – b) (p + a/V) = R T
È interessante tuttavia osservare che la relazione precedente non rappresenta il comportamento del gas per ogni valore di p e di V. Infatti, quando il gas abbia una temperatura abbastanza bassa, inferiore a una temperatura chiamata «critica», il suo comportamento, al diminuire del volume, segue questa legge soltanto fino a che si sia raggiunto un determinato valore della pressione; in corrispondenza a questo valore incomincia la liquefazione del gas, fenomeno che continua a volume costante fino a che si sia completato. Esistono pertanto, su ogni isoterma, punti, che vengono chiamati «punti critici», in corrispondenza dei quali il fenomeno che si considera cambia radicalmente di natura, rispetto alle nostre aspettative fondate sull’immaginazione, e quindi viene descritto con formule matematiche diverse da quelle che valgono per altri valori dei parametri considerati.
L’esempio appena discusso, che riguarda la teoria cinetica classica dei gas, ci pare paradigmatico nei riguardi delle procedure che vengono seguite per la costruzione di molte teorie fisico-matematiche della natura. Una procedura cosiffatta potrebbe essere descritta dicendo che, partendo da certe osservazioni, si cerca di immaginare una struttura che le giustifichi; e da questa struttura immaginata si cerca di trarre il maggior numero possibile di conseguenze che si possano verificare con una successiva osservazione.
Come è noto, non avviene quasi mai che queste ultime confermino in pieno le conseguenze che si traggono dalla struttura immaginata; allora questa viene ritoccata, cercando di variarla il meno possibile, per aderire meglio alla realtà che si osserva.
Per esempio, nel caso della teoria cinetica dei gas, i termini aggiuntivi che compaiono nella seconda legge rispetto alla prima sono stati introdotti per cercare di tener conto del volume proprio delle molecole, e per tener conto anche del fatto che tra due molecole quali si vogliano possono manifestarsi anche delle forze di attrazione newtoniana. Si tratta di un continuo lavoro di ritocco e di osservazione, che spesso sfocia nell’abbandono dello schema immaginato, perché esso viene considerato non più soddisfacente per la spiegazione di tutti i fenomeni che via via vengono scoperti. È stato questo, per esempio, il caso del modello dell’atomo di Bohr, che ha dovuto essere abbandonato perché insufficiente a spiegare i fenomeni nuovi che si scoprivano.
Tuttavia spesso la costruzione di una nuova teoria viene fatta ancora seguendo lo schema che abbiamo presentato, cioè immaginando altre strutture materiali, non direttamente osservabili, che permettono tuttavia di esprimere certe relazioni quantitative che traducono le ipotesi e di dedurre conseguenze osservabili.
Il modello matematico
Le osservazioni sino a questo punto esposte avviano alla presentazione di un terzo tipo di modello, che viene chiamato semplicemente «modello matematico». Infatti, in presenza dei pericoli e dei limiti che si incontrano con i modelli basati su strutture immaginate, si tende a considerare direttamente un sistema di relazioni matematiche come la riproduzione della realtà, o, meglio, di quegli aspetti di questa che interessano di volta in volta la ricerca scientifica. Le relazioni matematiche in parola possono essere equazioni o disequazioni, o altri insiemi di simboli che permettano di eseguire una deduzione formale, in forza delle sole leggi sintattiche dei simboli adottati.
L’atteggiamento che conduce a costruire modelli di questo tipo è abbastanza tipico della termodinamica; invero in questo capitolo della fisica si cerca di abbandonare sempre di più gli schemi immaginati, del tipo di quelli relativi alla teoria cinetica dei gas di cui abbiamo detto in precedenza, e si tende invece a stabilire direttamente le relazioni quantitative tra gli stimoli che noi pratichiamo su un sistema fisico e le risposte che questo fornisce, senza pretendere di immaginare i meccanismi interni che provocano queste risposte. [Immagine a destra: Lord Kelvin (1824-1907]
Si suol dire spesso che il sistema viene considerato come una «scatola nera», nell’interno della quale ci asteniamo dal penetrare, limitandoci a registrare ciò che entra e ciò che esce dalla scatola. Ovviamente questo atteggiamento si fonda su una ipotesi tacita, che potrebbe essere formulata dicendo che si presume una certa coerenza del sistema nel rispondere agli stimoli; coerenza che è l’ovvio fondamento su cui si basa l’utilizzo degli strumenti della matematica. La termodinamica non è il solo capitolo della fisica nel quale si assume un atteggiamento di questo tipo: si potrebbe dire che le classiche equazioni di James C. Maxwell (1831-1879) [Immagine a sinistra] dell’elettromagnetismo costituiscono un superamento delle spiegazioni dei fenomeni elettromagnetici che si tentavano per cercare di ridurre questi al comportamento immaginato di certi enti materiali.
Considerazioni analoghe si possono fare per le equazioni della meccanica quantistica, per esempio per le classiche equazioni di Schrödinger. È noto che la meccanica dei quanti ha dovuto rinunciare a rappresentare il comportamento delle particelle subatomiche con le estrapolazioni che la fantasia opera sul comportamento dei corpi di piccola dimensione: infatti i due caratteri, corpuscolare e ondulatorio, sono inscindibili e non sono facilmente immaginabili congiuntamente.
Tuttavia le equazioni matematiche descrivono in modo soddisfacente il comportamento della materia a livello subatomico: il che significa che possiamo accettare l’ipotesi che la natura sia coerente, e che le sue proprietà siano descritte con strumenti linguistici e formali come quelli della matematica, rinunciando tuttavia ad appoggiarci sull’immaginazione per avere una rappresentazione a noi accessibile di ciò che avviene.
Un caso abbastanza frequente di modelli di questo terzo tipo è dato dall’utilizzo della matematica nelle scienze dell’uomo, in particolare nell’economia. In questo caso il tentativo di immaginare sistemi materiali che possano spiegare in qualche modo il comportamento economico del singolo o dei gruppi sociali è destinato a essere vano; si spiega quindi il fatto che in economia si chiami modello semplicemente un sistema di equazioni o le relazioni matematiche che legano gli aspetti misurabili, o anche solo quantificabili o simbolizzabili, del comportamento economico dell’uomo.
La considerazione dei modelli matematici in economia è abbastanza utile per comprendere il significato e i limiti degli strumenti concettuali che noi utilizziamo per conoscere la realtà.
È infatti chiaro che non è possibile tentare di descrivere in modo completo ed esauriente tutti i minimi particolari dei fatti economici; di conseguenza il ricercatore che tenta di costruire una teoria è costretto quasi sempre a scegliere tra una rappresentazione della realtà che appare rudimentale, ma che si presta a una elaborazione successiva e anche a sviluppi di calcolo adatti a formulare delle previsioni, anche se in larga misura approssimate e una formulazione minuta dei particolari, che tuttavia rischia di essere talmente complicata da prestarsi difficilmente a deduzioni chiare e a successive elaborazioni numeriche. Inoltre dati quantitativi di partenza sono quasi sempre dedotti da osservazioni indirette, da misure estrapolate e da statistiche, il che toglie la speranza di poter trattare questi fenomeni in modo analogo ai fenomeni della fisica o ai fatti della tecnica.
Altre realizzazioni del concetto di modello
Ciò che abbiamo esposto finora non esaurisce tutte le possibili realizzazioni del concetto di modello, così come viene concepito nella scienza. Si parla infatti di modelli anche in altri contesti, che ci paiono interessanti per varie ragioni.
I contesti cui accenniamo si riferiscono alla complessa problematica riguardante i fondamenti della matematica o di sue particolari branche. Sappiamo infatti che dopo la revisione critica della matematica, iniziata nel secolo scorso e ancora in pieno svolgimento, si è diffuso una specie di paradigma ideale di teoria. In questo ordine di idee ogni costruzione teorica dovrebbe incominciare con l’elencazione di assiomi, cioè di proposizioni non dimostrabili, e proseguire con dimostrazioni rigorose a partire soltanto dagli assiomi enunciati. Questo paradigma ideale di teoria richiama alla mente ciò che Bertrand Russell (1872-1970) [Immagine a destra] diceva paradossalmente della matematica, affermando che essa è una scienza in cui non si sa di che cosa si parla e non si sa se ciò che si dice è vero.
Questo enunciato è ovviamente paradossale, ma mette bene in evidenza il carattere di astrattezza e di generalità delle formulazioni matematiche, le quali non fanno riferimento a un’unica realtà, che dovrebbe fornire il loro contenuto – non si sa di che cosa si parla, dice Russell; pertanto la loro validità è fondata soltanto sul corretto impiego delle leggi di deduzione, e non sulla rispondenza degli enunciati a una realtà materiale fuori di noi – non si sa se ciò che si dice è vero, dice sempre Russell.
Questa condizione di estrema astrattezza delle formulazioni matematiche è garanzia da una parte della loro generalità e dall’altra del rigore della deduzione; infatti è possibile dominare con un’unica formula tutte le realtà concrete che sono descritte dagli assiomi di una data teoria; e d’altra parte la deduzione, eseguita a livello totalmente astratto, non rischia di essere fuorviata dalle suggestioni che nascono dai riferimenti a particolari significati o contenuti dei simboli.
Sussiste tuttavia un problema il quale potrebbe essere formulato dicendo che i postulati di una teoria astratta debbono necessariamente costituire un insieme compatibile, esente da contraddizioni interne. Non basta infatti una semplice ispezione iniziale, che non metta in evidenza contraddizioni palesi, a garantire la compatibilità del sistema: infatti la contraddizione potrebbe essere nascosta, e potrebbe rivelarsi soltanto dopo un certo numero di deduzioni. Scaturirebbe di qui la non consistenza della teoria che si costruisce, perché, come già enunciava la logica classica, da premesse false si può dedurre qualunque conseguenza, anche per esempio la negazione delle premesse stesse.
A ben guardare, le considerazioni che stiamo svolgendo erano alla base della celebre trattazione con la quale Girolamo Saccheri (1667-1733) cercò di dimostrare per assurdo il postulato euclideo della parallela; egli infatti enunciò delle ipotesi che non erano visibilmente in contraddizione con gli altri postulati, ma cercò di mettere in evidenza quella che egli presumeva essere la contraddizione nascosta, deducendo delle conseguenze dalle premesse in modo tale da poter giungere a quello che egli considerava un assurdo.
È chiaro che questo di cui stiamo parlando è uno dei più importanti problemi dei fondamenti della matematica. Non ci pare questo il luogo per approfondire tale genere di questioni, che sono notevolmente intricate; ci limitiamo quindi a dire che una delle strade più comunemente seguite per mostrare la consistenza di un sistema di postulati è quella che conduce a esibire un insieme di enti che soddisfino ai postulati stessi. Si suol dire che un insieme di enti cosiffatti costituisce un modello della teoria, intendendo così indicare una realizzazione, tra le tante possibili in linea di principio, della teoria stessa. Come è noto, questa procedura è stata seguita da Eugenio Beltrami (1835-1900) [Immagine a sinistra] il quale ha costruito, con gli strumenti della geometria differenziale, un modello di geometria non euclidea, dimostrando così che i postulati di quest’ultima sono compatibili, e di conseguenza dimostrando anche che il postulato euclideo della parallela non può essere dimostrato a partire da quelli che lo precedono nella trattazione classica. È pure noto che sono stati dati anche altri modelli di geometria non-euclidea, per esempio fondati sulla geometria proiettiva.
Analoga procedura segue per esempio David Hilbert (1862-1943), nei suoi Fondamenti di Geometria, esibendo via via modelli dei suoi sistemi di postulati, costruiti con elementi di certi campi numerici.
Una riflessione ulteriore potrebbe portare a osservare che questa procedura si fonda sostanzialmente sulla presunzione che la realtà, dalla quale prendiamo gli elementi per costruire i modelli, sia coerente in se stessa. Se poi questi elementi sono presi da altri capitoli della matematica, è chiaro che in questo modo viene presunta la coerenza dei capitoli stessi.
Pertanto la soluzione del problema di compatibilità che così si offre è soltanto parziale e, per così dire, provvisoria. Ma se non altro, essa indica una sostanziale unità della problematica della scienza, unità che riconduce in ogni caso ai problemi fondamentali della struttura e del significato della nostra conoscenza.
Carlo Felice Manara
(Professore Emerito di Geometria presso l’Università degli Studi di Milano)
Vai all’articolo in formato PDF
© Pubblicato sul n° 27 di Emmeciquadro