OliForum Matematico

Un altro riferimento che si può trovare in rete è "Rudi Mathematici", numeri 9,11 e 12 (nel numero 9 c'è l'esposizione del problema, nel numero 11 c'è la soluzione, nel 12 una correzione alla soluzione data nel numero precedente). La differenza è data dall'ambientazione "naturalistica...

Grazie Anlem, per fortuna che ci sei tu a mostrare interesse :D Allora, l'idea originaria sarebbe costruire programmi che fanno matematica il più possibile da soli, per esempio trovare dimostrazioni, ecc... Il problema è che, a mano a mano che gli assiomi aumentano e si intrecciano (cioè praticament...

Si vede che non ne hai mai usato uno...
Trovare una dimostrazione con i dimostratori automatici è più difficile che scriverne una a mano.
A pensarci bene, deve essere questo che li rende così poco popolari...

Possibile che a nessuno interessi l'argomento ? Sono l'unico ad aver sperato nell'esistenza di un super-programma che trova le dimostrazioni da solo ?

Qui puoi trovare le dispense di un corso di meccanica analitica che Boris Dubrovin ha tenuto alla SISSA. Sono 162 pagine, ma gli argomenti trattati sono molti, per cui mi sembra sufficientemente conciso. Ecco il link:
http://people.sissa.it/~dubrovin/meccanica.pdf

Ok, mi rassegno, ho implementato il codice, ho fatto dei test automatici e, purtroppo per me e per i venditori di memoria RAM, funziona sempre (o per lo meno con le liste di al più 300 elementi, ma penso di potermi sbilanciare). Quello che non riesco a capire è il perchè. A me sembra che quando l1 v...

Due domande, una per rand e una per MindFlyer. Per rand: la lunghezza della lista è un parametro noto, che si può usare all'interno della routine, oppure no ? Per MindFlyer: sei sicuro che funzioni ? A me sembra che controlli solo se ci sono cicli che cominciano dal primo elemento, dal secondo, dal ...

Una soluzione può essere questa: si fanno i tentativi partendo dal primo piano e si sale di due piani alla volta (quindi, si prova al primo piano, al terzo piano, al quinto piano, ecc...). Quando il bicchiere si rompe, se si rompe, si scende di un piano e si prova per l'ultima volta. Il caso pessimo...

Siete appassionati di dimostratori automatici ? Se sì, qual'è il vostro dimostratore automatico (o proof checker) preferito ? Il mio programma preferito è Mizar; sembra poco potente, ma alla fine mi sono convinto che, in confronto agli altri, fa quasi miracoli. Ha una bellissima libreria e i program...

Il trailer è molto bello.
Mi ha ricordato degli spassosissimi cartoni animati che ha fatto Bruno Bozzetto, rigorosamente 2D.
Ecco i link, se volete farvi quattro risate:
http://www.youtube.com/watch?v=aBKbS8lZuf0
http://www.youtube.com/watch?v=U1242ehufYo

SkZ, sarei anche d'accordo con te: io stesso cerco sempre di ricostruirmi le dimostrazioni da solo invece che leggerle su un libro, col risultato che perdo un sacco di tempo e la mia autostima crolla. Avrei detto "sono d'accordo", se non fosse per il fatto che i padri (e i nonni) della Riv...

Ecco, il problema sta proprio nel definire il concetto di metodo scientifico. Per Lucio Russo (ma non solo per lui, suppongo) metodo scientifico è introdurre assiomi "accettabili" da cui si possano derivare teoremi capaci di spiegare i fenomeni. Russo forse esagera quando sostiene che il m...

C'è qualcuno che ha letto questo libro ? L'autore si chiama Lucio Russo e insegna probabilità a Tor Vergata. Questo libro è stato tradotto in varie lingue e, se si cerca "Forgotten revolution" su google, vengono fuori un sacco di risultati. Il libro presenta, con svariati argomenti, la tes...