OliForum Matematico

Ciao a tutti,
mi sono appena iscrito al forum. Sapevo della sua esistenza, e penso sia il posto giusto dove fare la mia piccola ricerca.
Sto lavorando alla mia tesina per la maturità, e riguarda l'intelligenza artificiale. In particolare mi interessa mettere a confronto il metodo euristico del Logic Theorist (http://shelf1.library.cmu.edu/IMLS/Mind ... achine.pdf) e i processi mentali consci degli esseri umani durante la risoluzione di teoremi.
Ho chiesto aiuto ai docenti di fisica e di matematica della mia scuola, ma ho pensato che ampliare il campione sarebbe interessante. Anche perché non è da escludere che saltino fuori percorsi anche abbastanza diversi per ogni persona.
Se volete darmi una mano, vi sarei molto grato.
Quello che sto chiedendo è di provare a risolvere qualche piccolo teorema e, durante la risoluzione, prendere nota dei pensieri/delle sensazioni/dei metodi di scelta dei percorsi risolutivi che fate. Qualunque tipo di teorema va bene, anche se il Logic Theorist era pensato principalmente per la logica. In caso sarebbe utile anche che scriveste quale teorema (o quale proposizione) avete dimostrato.

PS: ho scelto questa sezione in quanto le altre sembravano molto più specifiche. Spero sia quella giusta!

C'è questo esistente da tempo
http://olimpiadi.dm.unibo.it/downloads/cammi.pdf

Una cosa più blanda a volte la faccio anche io in alcuni post quando ho tempo... risolvo la soluzione piazzando anche un poco di pensieri su quali sono i tentativi possibili da fare. Non è al livello di quella del documento sulla risoluzione di Cesenatico allegato qui sopra (che trovo tra i più belli mai scritti per le olimpiadi, l'ho letto un annetto fa ed è stato davvero illuminante ) ma boh... è qualcosa.
Poi mi dicono dalla regia che faccio parecchio "flusso di coscienza" quando faccio le brutte alle gare... ma in effetti anche se ti scannerizzassi le brutte ci capiresti poco o nulla

p.s. in queste vacanze di Pasqua mi scelgo un problema o un teorema o qualcosa che non conosco e provando a risolverlo mi segno le idee, poi se ce la fo scrivo qui Ganza l'idea comunque

Vi ringrazio per l'aiuto!
Il link segnalato da Il_Russo è molto interessante, in queste vacanze vedrò di trovare le linee guida del pensiero.
Intanto ho coinvolto altri professori e ho finito di studiare il LT. Spero venga qualcosa di fruibile.
Ringrazio anche te dario2994 per l'interesse
Appena inizio a tirare le somme aggiornerò il topic

facci sapere