Allora, innanzitutto scusate se apro un nuovo thread, ma questa idea mi sembra meritevole di considerazione (o di insulti).
Da buon lurker del forum, oggi mi sono imbattuto in questo thread di edriv viewtopic.php?t=7133 che mi ha incuriosito parecchio.
La mia proposta è questa:
FORMALIZZAZIONE per gioco "dal vivo", ed eventuale inserimento olimpico o pseudo-olimpico (come disciplina ricreativa) del gioco della teoria.
Il concetto è quello di un gioco a turni, a squadre: vengono numerate tutte le squadre, esiste una giuria. I turni hanno un tempo massimo limitato (pensavo a 5-10 minuti). Il gioco termina dopo un fissato numero di turni, oppure dopo un fissato tempo, magari finendo il "giro dei turni" allo scadere di esso.
Ogni squadra parte con un determinato punteggio. Chi ha il punteggio più alto alla fine del gioco vince.
La giuria dà il via al gioco, proponendo alcuni assiomi elementari (magari collegati ai numeri naturali, giusto per dare un minimo di dignità al gioco)
In ogni turno, ogni squadra deve compiere DUE azioni, comprese tra proporre un assioma, proporre una congettura o dimostrarne una già esistente (anche due azioni dello stesso genere)
Un assioma costa punti.
Un teorema fa guadagnare punti ma va dimostrato.
Il punteggio potrebbe essere calcolato proporzionalmente al numero di parole dell'ENUNCIATO dell'assioma/teorema (o al logaritmo del numero di parole).
Al primo turno, ogni squadra deve proporre almeno un assioma (che potrebbe essere gratuito solo in questa occasione).
Una squadra che non propone teoremi per tre turni di fila perde automaticamente.
Una congettura vale il doppio dei punti di un teorema della stessa lunghezza: se nessuno la dimostra i punti vanno, a fine gioco, alla squadra che l'ha proposta. Se viene dimostrata, i punti vanno alla squadra che la dimostra. Se viene provata essere falsa, la squadra che lo prova guadagna i punti, e come malus la squadra proponente li perde.
A giudizio della giuria saranno le penalità per teoremi errati, incompatibili con la teoria, privi di senso, dimostrazioni non rigorose, o proposizioni (teoremi, assiomi, congetture) mal formulati.
...ok, via agli insulti e ai commenti!
PROPOSTA: nuova disciplina olimpica
PROPOSTA: nuova disciplina olimpica
[b]Come on, come over, as fast as you can
You're afraid you won't like it, but you don't understand
One thing my brother, i'll tell you the truth,
The more time you spend feeling happy, the less time you'll feel blue.
(Jaco Pastorius)[/b]
You're afraid you won't like it, but you don't understand
One thing my brother, i'll tell you the truth,
The more time you spend feeling happy, the less time you'll feel blue.
(Jaco Pastorius)[/b]
Questo è il mio unico commento: ecco l'effetto che fa una simile proposta.
- FrancescoVeneziano
- Site Admin
- Messaggi: 606
- Iscritto il: 01 gen 1970, 01:00
- Località: Genova
- Contatta:
Potete provare ad organizzare una partita a nomic.
Però i matematici sono le persone meno indicate per questo genere di cose: se un matematico decide sul serio di essere formale, ci riesce. E questo trattamento è generalmente letale per i giochi.
Però i matematici sono le persone meno indicate per questo genere di cose: se un matematico decide sul serio di essere formale, ci riesce. E questo trattamento è generalmente letale per i giochi.
Wir müssen wissen. Wir werden wissen.
Concordo e generalizzo: i matematici sono le persone meno indicato per qualsiasi genere di giochi, per l'identico motivo.FrancescoVeneziano ha scritto: Però i matematici sono le persone meno indicate per questo genere di cose: se un matematico decide sul serio di essere formale, ci riesce. E questo trattamento è generalmente letale per i giochi.
-
- Messaggi: 154
- Iscritto il: 09 ago 2006, 23:06
- Contatta: