A biased roulette
Page 1 Next
Miloslav Jirina (1978)
Annales de l'I.H.P. Probabilités et statistiques
Länger, Helmut (1993)
Mathematica Pannonica
P. GoralČík, Z. Hedrlín, V. Koubek, J. Ryšunková (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Jaroslav Doležal (1978)
Kybernetika
Ivan Kramosil (1975)
Kybernetika
Koslowski, Jürgen (2006)
Theory and Applications of Categories [electronic only]
Andrzej Ehrenfeucht, Jan Mycielski (1979)
Colloquium Mathematicae
Vojtáš, Peter (1984)
Proceedings of the 11th Winter School on Abstract Analysis
Henri Carnal (1994)
Elemente der Mathematik
Robin Nittka (2011)
Formalized Mathematics
We formulate a few basic concepts of J. H. Conway's theory of games based on his book [6]. This is a first step towards formalizing Conway's theory of numbers into Mizar, which is an approach to proving the existence of a FIELD (i.e., a proper class that satisfies the axioms of a real-closed field) that includes the reals and ordinals, thus providing a uniform, independent and simple approach to these two constructions that does not go via the rational numbers and hence does for example not need...
Serge Grigorieff (1975/1976)
Séminaire Bourbaki
Eriksen, Niklas, Eriksson, Henrik, Eriksson, Kimmo (2000)
The Electronic Journal of Combinatorics [electronic only]
(1925)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Martin Loebl (1988)
Commentationes Mathematicae Universitatis Carolinae
Martin Loebl (1985)
Commentationes Mathematicae Universitatis Carolinae
Jiří Matoušek, Martin Loebl (1991)
Commentationes Mathematicae Universitatis Carolinae
L. Kirby and J. Paris introduced the Hercules and Hydra game on rooted trees as a natural example of an undecidable statement in Peano Arithmetic. One can show that Hercules has a “short” strategy (he wins in a primitively recursive number of moves) and also a “long” strategy (the finiteness of the game cannot be proved in Peano Arithmetic). We investigate the conflict of the “short” and “long” intentions (a problem suggested by J. Nešetřil). After each move of Hercules (trying to kill Hydra fast)...
John C. Morgan II (1974)
Colloquium Mathematicae
Parpucea, Ilie, Bătrâncea, Larissa-Margareta (2009)
Acta Universitatis Apulensis. Mathematics - Informatics
Zdzisław Wyderka (1989)
Kybernetika
Witold Rzymowski (1986)
Page 1 Next