PROPOSTA: nuova disciplina olimpica
Inviato: 15 ago 2007, 19:52
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!
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!
