Strutture d'ordine su insiemi di permutazioni e di cammini di Dyck

In questa tesi si studiano strutture d'ordine presenti su insiemi di permutazioni. In particolare si studiano la funzione di Moebius del poset delle permutazioni ordinate per contenimento con motivi consecutivi e il reticolo delle permutazioni che evitano un motivo di lunghezza tre usando l'isomorfismo con l'insieme dei cammini di Dyck.

Intuizione e visualizzazione in matematica con particolare riferimento a Felix Klein

Questo lavoro trae spunto da un rinnovato interesse per l’«intuizione» e il «pensiero visivo» in matematica, e intende offrire un contributo alla discussione contemporanea su tali questioni attraverso lo studio del caso storico di Felix Klein. Dopo una breve ricognizione di alcuni dei saggi più significativi al riguardo, provenienti sia dalla filosofia della matematica, sia dalla pedagogia, dalle neuroscienze e dalle scienze cognitive, l’attenzione si concentra sulla concezione epistemologia di Klein, con particolare riferimento al suo uso del concetto di ‘intuizione’. Dai suoi lavori e dalla sua riflessione critica si ricavano non solo considerazioni illuminanti sulla fecondità di un approccio «visivo», ma argomenti convincenti a sostegno del ruolo cruciale dell’intuizione in matematica.

Logica dell'identità e delle descrizioni

Lo scopo della tesi è studiare la logica dell'identità e delle descrizioni attraverso l'introduzione di metodi sempre più sofisticati che ci permettano di intraprendere attivamente questo studio, senza limitarci a recepire passivamente dei contenuti. L'approccio scelto è quello della deduzione naturale, in particolare il metodo delle derivazioni introdotto da Frederick Fitch.

Eulero, Mascheroni e Riemann costanti ed ipotesi

In questa tesi si descrivono la funzione zeta di Riemann, la costante di Eulero-Mascheroni e la funzione gamma di Eulero. Si riportano i legami tra questi e si illustra brevemente l'ipotesi di Riemann degli zeri non banali della funzione zeta, ovvero l'ipotesi della distribuzione dei numeri primi nella retta dei numeri reali.

La logica del secondo ordine e la prova ontologica di Gödel

Nel mio lavoro ho deciso di dedicare il primo capitolo all'evoluzione della prova ontologica nella storia della filosofia e della logica e all'analisi, da un punto di vista logico, della prova di Gödel. Nella prima sezione, quindi, ho riportato l'argomentazione di Anselmo d'Aosta, il primo a proporre una prova ontologica, e a seguire quelle di Scoto, Spinoza, Leibniz e Russell, evidenziando dove opportuno le critiche ad esse apportate. Nella seconda sezione ho ripercorso le tappe della prova ontologica di Gödel e ho riportato e analizzato alcuni dei passaggi logici tratti da uno dei suoi taccuini. Nel secondo capitolo ne ho analizzato in particolare la logica del secondo ordine. Inoltre ho dedicato la prima sezione a un breve richiamo di logica modale S5. Ho infine brevemente trattato un caso particolare della logica del secondo ordine, vale a dire la logica del secondo ordine debole.

Il sillogismo e il “Gioco della Logica” di L. Carroll

La tesi è suddivisa in due capitoli. Nel primo capitolo è data una definizione di sillogismo, la sua classificazione nelle 4 figure e la sua interpretazione mediante il calcolo delle classi. Inoltre è spiegato il calcolo predicativo monadico ed è dimostrata la sua decidibilità. Nel secondo capitolo è illustrato il “Gioco della Logica” di L. Carroll descrivendo le regole del gioco e riportando diversi esempi. Inoltre è evidenziata una discrepanza nell'interpretazione del quantificatore universale tra la logica di Carroll e la logica moderna.

Misure di Hausdorff e applicazioni

Obiettivo della tesi è fornire nozioni di teoria della misura tramite cui è possibile l'analisi e la descrizione degli insiemi frattali. A tal fine vengono definite la Misura e la Dimensione di Hausdorff, strumenti matematici che permettono di "misurare" tali oggetti particolari, per i quali la classica Misura di Lebesgue non risulta sufficientemente precisa. Viene introdotto, inoltre, il carattere di autosimilarità, comune a molti di questi insiemi, e sono forniti alcuni tra i più noti esempi di frattali, come l'insieme di Cantor, l'insieme di Mandelbrot e il triangolo di Sierpinski. Infine, viene verificata l'ipotesi dell'esistenza di componenti di natura frattale in serie storiche di indici borsistici e di titoli finanziari (Ipotesi dei Mercati Frattali, Peters, 1990).

Il ruolo della matematica nella meccanica quantistica in un approccio interdisciplinare per la scuola secondaria

Questo lavoro di tesi nasce all’interno del nucleo di ricerca in didattica della fisica dell’Università di Bologna, coordinato dalla professoressa Olivia Levrini e che coinvolge docenti di matematica e fisica dei Licei, assegnisti di ricerca e laureandi. Negli ultimi anni il lavoro del gruppo si è concentrato sullo studio di una possibile risposta all'evidente e pressante difficoltà di certi docenti nell'affrontare gli argomenti di meccanica quantistica che sono stati introdotti nelle indicazioni Nazionali per il Liceo Scientifico, dovuta a cause di vario genere, fra cui l'intrinseca complessità degli argomenti e l'inefficacia di molti libri di testo nel presentarli in modo adeguato. In questo contesto, la presente tesi si pone l’obiettivo di affrontare due problemi specifici di formalizzazione matematica in relazione a due temi previsti dalle Indicazioni Nazionali: il tema della radiazione di corpo nero, che ha portato Max Planck alla prima ipotesi di quantizzazione, e l’indeterminazione di Heisenberg, con il cambiamento di paradigma che ha costituito per l’interpretazione del mondo fisico. Attraverso un confronto diretto con le fonti, si cercherà quindi di proporre un percorso in cui il ruolo del protagonista sarà giocato dagli aspetti matematici delle teorie analizzate e dal modo in cui gli strumenti della matematica hanno contribuito alla loro formazione, mantenendo un costante legame con le componenti didattiche. Proprio in quest'ottica, ci si accorgerà della forte connessione fra i lavori di Planck e Heisenberg e due aspetti fondamentali della didattica della matematica: l'interdisciplinarietà con la fisica e il concetto di modellizzazione. Il lavoro finale sarà quindi quello di andare ad analizzare, attraverso un confronto con le Indicazioni Nazionali per il Liceo Scientifico e con alcune esigenze emerse dagli insegnanti, le parti e i modi in cui la tesi risponde a queste richieste.

Il modello di argomentazione di Toulmin nell’attivitá matematica degli studenti di scuola secondaria

Lo studio decritto in questo progetto di tesi ha avuto origine dalla volontà di analizzare l’atteggiamento di studenti di scuola superiore di I e II grado rispetto alla richiesta di fornire argomentazioni, di giustificare affermazioni o risultati ottenuti in ambito matematico. L’analisi quantitativa dei dati ottenuti sottoponendo gli studenti ad un questionario costituito da quesiti scelti in ambiti differenti tra le prove Invalsi ha evidenziato che solo una parte (36% per le superiori di I grado, 59% per le superiori di II grado) degli studenti che hanno risposto correttamente ai quesiti, è stata in grado di argomentare la risposta. L’analisi è stata a questo punto approfondita sulla base del modello di Toulmin e delle componenti del processo di argomentazione da lui descritte. Si è valutato per ogni argomentazione in quale o quali delle componenti toulminiane si sia concentrato l’errore. Ogni argomentazione considerata errata può infatti contenere errori differenti che possono riguardare una soltanto, diverse o tutte e quattro le componenti di Backing, Warrant, Data e Conclusion. L’informazione che ne è emersa è che nella maggioranza dei casi il fatto che uno studente di scuola superiore non riesca ad argomentare adeguatamente un’affermazione dipende dal richiamo errato di conoscenze sull'oggetto dell'argomentazione stessa ("Warrant" e "Backing"), conoscenze che dovrebbero supportare i passi di ragionamento. Si è infine condotta un’indagine sul terreno logico e linguistico dei passi di ragionamento degli studenti e della loro concatenazione, in modo particolare attraverso l’analisi dell’uso dei connettivi linguistici che esprimono e permettono le inferenze, e della padronanza logica delle concatenazioni linguistiche. Si è osservato per quanto riguarda le scuole superiori di I grado, che le difficoltà di argomentazione dovute anche a scarsa padronanza del linguaggio sono circa l’8% del totale; per le scuole superiori di II grado questa percentuale scende al 6%.

La matematica dei frattali

Questa tesi ha lo scopo di descrivere le proprietà matematiche degli insiemi frattali. Nell'introduzione è spiegato brevemente cosa sono i frattali e vengono fatti alcuni esempi di frattali in natura, per poi passare agli aspetti più matematici nei capitoli. Nel capitolo uno si parla della misura e della dimensione di Hausdorff e viene calcolata, seguendo la definizione, per l'insieme di Cantor. Poi nel secondo capitolo viene descrittà l'autosimilarità e viene enunciato un importante teorema che lega l'autosimilarità e la dimensione di Hausdorff. Nel terzo capitolo vengono descritti degli insiemi frattali molto importanti: quelli di Mandelbrot e di Julia.

Impossibilità di pensare Dio non esistente : il Proslogion di Anselmo d'Aosta come applicazione implicita dei moderni procedimenti di logica aletica

Resumen: La vera intenzione teologica di Anselmo d’Aosta nello scrivere il Proslogion e il vero significato del suo celebre unum argumentum vanno visti nella funzione che la ragione svolge necessariamente all’interno della vita di fede del cristiano. Anselmo, come Tommaso d’Aquino, non sostiene che l’esistenza di Dio sia un “articulus fidei” ma piuttosto uno dei “praeambula fidei”. La ragione naturale ha la certezza che Dio esiste, ancora prima della dimostrazione metafisica, e questo non fa che confermare l’assurdità di pensare che non esista il fondamento reale di tutte le cose esistenti.

El laberinto del continuo

Resumen: La expresión “Laberinto del continuo” se debe a Leibniz. Sin embargo, Leibniz carecía de los instrumentos conceptuales necesarios para tratar el tema adecuadamente. La teoría de conjuntos de Cantor hizo posible resolver el problema del continuo de modo satisfactorio desde el punto de vista conjuntista. Se debe atribuir a R. Dedekind una resolución más cabal del problema. No obstante, el autor sostiene que la concepción de éste último tampoco pone de manifiesto todos los aspectos involucrados en el continuo.

Elaboración del registro de evaluación del continuo deportividad-violencia en la competición del fútbol base (REPF)

[ES] En este estudio se describe el proceso seguido para la elaboración del auto-registro, diseñado específicamente para la medición de los estructos "deportividad”, “agresividad" y “violencia”. Este instrumento permite la recogida de información sobre actitudes y conductas relacionadas con la deportividad, la agresividad y la violencia de los diferentes agentes sociales que rodean a los jóvenes deportistas en categorías deportivas de formación (padres/espectadores, entrenadores y árbitros). Por otro lado, se detalla la estructura de este instrumento y las características psicométricas del mismo -validez y fiabilidad-.