SlideShare a Scribd company logo

Infinite Chess: winning and draw

2
2idseminar

A presentation about Infinite Chess and the difference between man and machines. From works by C.D.A. Evans and J.D. Hamkins. Presented during the International Interdisciplinary Seminar of London, January 2018.

1 of 29
Download to read offline
Infinite Chess:
winning and draw
Marco Natale, MSc Mathematics
IPE Business School – Naples, Italy
ISIS “R.L. Montalcini” – Quarto (NA), Italy
Features of Chess
• Perfect Information
• No randomness
• Two alternating players
• No ties
• Ends in a finite number of moves
Mate-in-1
1: Qh5#
Mate-in-2
1:Qh6+ - h6
2: Be5#
Winning Strategy
• A position in an assignment to each location on the board indicating
whether or not there is a piece there and if so, which piece. A position p is
said to be computable if there exists Turing machine (i.e. a deterministic
procedure) able to computable it.
• A strategy for one of the players from a given position p is a function that
tells the player, given the prior sequence of moves from p, what he is to
play next. A strategy τ is computable, if this function is a computable
function in the sense of Turing computability.
• If τ and σ are strategies, then τ ∗ σ indicates the play resulting from having
the first player play strategy τ and the second player play strategy σ.
• The strategy τ defeats σ, if this play results in a win for the first player. A
strategy τ is a winning strategy, if it defeats all opposing strategies.
Game Value
(a.k.a. the Doomsday Clock)
• A position is said to be mate-in-n for the first
player, if there is a strategy leading to
checkmate in at most n moves, regardless of
how the opponent plays.
• In this case, we say that the Game Value is
equal to n.

More Related Content

Similar to Infinite Chess: winning and draw

Knight’s tour algorithm
Knight’s tour algorithmKnight’s tour algorithm
Knight’s tour algorithmHassan Tariq
 
Backtracking-N Queens Problem-Graph Coloring-Hamiltonian cycle
Backtracking-N Queens Problem-Graph Coloring-Hamiltonian cycleBacktracking-N Queens Problem-Graph Coloring-Hamiltonian cycle
Backtracking-N Queens Problem-Graph Coloring-Hamiltonian cyclevarun arora
 
Artificial intelligence games
Artificial intelligence gamesArtificial intelligence games
Artificial intelligence gamesSujithmlamthadam
 
MINI-MAX ALGORITHM.pptx
MINI-MAX ALGORITHM.pptxMINI-MAX ALGORITHM.pptx
MINI-MAX ALGORITHM.pptxNayanChandak1
 
AlphaZero: A General Reinforcement Learning Algorithm that Masters Chess, Sho...
AlphaZero: A General Reinforcement Learning Algorithm that Masters Chess, Sho...AlphaZero: A General Reinforcement Learning Algorithm that Masters Chess, Sho...
AlphaZero: A General Reinforcement Learning Algorithm that Masters Chess, Sho...Joonhyung Lee
 
chess-algorithms-theory-and-practice_ver2017.pdf
chess-algorithms-theory-and-practice_ver2017.pdfchess-algorithms-theory-and-practice_ver2017.pdf
chess-algorithms-theory-and-practice_ver2017.pdfrajdipdas12
 
Back tracking and branch and bound class 20
Back tracking and branch and bound class 20Back tracking and branch and bound class 20
Back tracking and branch and bound class 20Kumar
 
Problem Solving - Games
Problem Solving - GamesProblem Solving - Games
Problem Solving - GamesKristantoMath
 
Branch and bound
Branch and boundBranch and bound
Branch and boundAcad
 
Game playing (tic tac-toe), andor graph
Game playing (tic tac-toe), andor graphGame playing (tic tac-toe), andor graph
Game playing (tic tac-toe), andor graphSyed Zaid Irshad
 
CptS 440/ 540 AI.pptx
CptS 440/ 540 AI.pptxCptS 440/ 540 AI.pptx
CptS 440/ 540 AI.pptxDrDejaVu2
 
chapter1 (1).ppt
chapter1 (1).pptchapter1 (1).ppt
chapter1 (1).pptNateHigger
 

Similar to Infinite Chess: winning and draw (17)

Knight’s tour algorithm
Knight’s tour algorithmKnight’s tour algorithm
Knight’s tour algorithm
 
Backtracking-N Queens Problem-Graph Coloring-Hamiltonian cycle
Backtracking-N Queens Problem-Graph Coloring-Hamiltonian cycleBacktracking-N Queens Problem-Graph Coloring-Hamiltonian cycle
Backtracking-N Queens Problem-Graph Coloring-Hamiltonian cycle
 
AI.ppt
AI.pptAI.ppt
AI.ppt
 
Artificial intelligence games
Artificial intelligence gamesArtificial intelligence games
Artificial intelligence games
 
Ai
AiAi
Ai
 
MINI-MAX ALGORITHM.pptx
MINI-MAX ALGORITHM.pptxMINI-MAX ALGORITHM.pptx
MINI-MAX ALGORITHM.pptx
 
AlphaZero: A General Reinforcement Learning Algorithm that Masters Chess, Sho...
AlphaZero: A General Reinforcement Learning Algorithm that Masters Chess, Sho...AlphaZero: A General Reinforcement Learning Algorithm that Masters Chess, Sho...
AlphaZero: A General Reinforcement Learning Algorithm that Masters Chess, Sho...
 
cai
caicai
cai
 
chess-algorithms-theory-and-practice_ver2017.pdf
chess-algorithms-theory-and-practice_ver2017.pdfchess-algorithms-theory-and-practice_ver2017.pdf
chess-algorithms-theory-and-practice_ver2017.pdf
 
Back tracking and branch and bound class 20
Back tracking and branch and bound class 20Back tracking and branch and bound class 20
Back tracking and branch and bound class 20
 
Problem Solving - Games
Problem Solving - GamesProblem Solving - Games
Problem Solving - Games
 
Branch and bound
Branch and boundBranch and bound
Branch and bound
 
Game playing (tic tac-toe), andor graph
Game playing (tic tac-toe), andor graphGame playing (tic tac-toe), andor graph
Game playing (tic tac-toe), andor graph
 
CptS 440/ 540 AI.pptx
CptS 440/ 540 AI.pptxCptS 440/ 540 AI.pptx
CptS 440/ 540 AI.pptx
 
lect1207
lect1207lect1207
lect1207
 
chapter1 (1).ppt
chapter1 (1).pptchapter1 (1).ppt
chapter1 (1).ppt
 
chapter1.ppt
chapter1.pptchapter1.ppt
chapter1.ppt
 

More from 2idseminar

The importance of being human 3
The importance of being human 3The importance of being human 3
The importance of being human 32idseminar
 
On the axiom of choice
On the axiom of choiceOn the axiom of choice
On the axiom of choice2idseminar
 
Can christian schools continue to teach only about traditional marriage
Can christian schools continue to teach only about traditional marriageCan christian schools continue to teach only about traditional marriage
Can christian schools continue to teach only about traditional marriage2idseminar
 
The unlimited desire IIS2019
The unlimited desire IIS2019The unlimited desire IIS2019
The unlimited desire IIS20192idseminar
 
Causality from outside Time
Causality from outside TimeCausality from outside Time
Causality from outside Time2idseminar
 
Can computers replace teachers?
Can computers replace teachers?Can computers replace teachers?
Can computers replace teachers?2idseminar
 
Future contingents and the Multiverse
Future contingents and the MultiverseFuture contingents and the Multiverse
Future contingents and the Multiverse2idseminar
 
The CRISPR/CAS9 genome editing system and humans
The CRISPR/CAS9 genome editing system and humansThe CRISPR/CAS9 genome editing system and humans
The CRISPR/CAS9 genome editing system and humans2idseminar
 
Achilles, the Tortoise and Quantum Mechanics
Achilles, the Tortoise and Quantum MechanicsAchilles, the Tortoise and Quantum Mechanics
Achilles, the Tortoise and Quantum Mechanics2idseminar
 
Transpostgenderism 5 jean_davidponci
Transpostgenderism 5 jean_davidponciTranspostgenderism 5 jean_davidponci
Transpostgenderism 5 jean_davidponci2idseminar
 
Transhumanism and brain
Transhumanism and brainTranshumanism and brain
Transhumanism and brain2idseminar
 
Transhumanism and brain
Transhumanism and brainTranshumanism and brain
Transhumanism and brain2idseminar
 
Netherhall 2018 m fox
Netherhall 2018 m foxNetherhall 2018 m fox
Netherhall 2018 m fox2idseminar
 
Sequential processing in nature
Sequential processing in natureSequential processing in nature
Sequential processing in nature2idseminar
 

More from 2idseminar (14)

The importance of being human 3
The importance of being human 3The importance of being human 3
The importance of being human 3
 
On the axiom of choice
On the axiom of choiceOn the axiom of choice
On the axiom of choice
 
Can christian schools continue to teach only about traditional marriage
Can christian schools continue to teach only about traditional marriageCan christian schools continue to teach only about traditional marriage
Can christian schools continue to teach only about traditional marriage
 
The unlimited desire IIS2019
The unlimited desire IIS2019The unlimited desire IIS2019
The unlimited desire IIS2019
 
Causality from outside Time
Causality from outside TimeCausality from outside Time
Causality from outside Time
 
Can computers replace teachers?
Can computers replace teachers?Can computers replace teachers?
Can computers replace teachers?
 
Future contingents and the Multiverse
Future contingents and the MultiverseFuture contingents and the Multiverse
Future contingents and the Multiverse
 
The CRISPR/CAS9 genome editing system and humans
The CRISPR/CAS9 genome editing system and humansThe CRISPR/CAS9 genome editing system and humans
The CRISPR/CAS9 genome editing system and humans
 
Achilles, the Tortoise and Quantum Mechanics
Achilles, the Tortoise and Quantum MechanicsAchilles, the Tortoise and Quantum Mechanics
Achilles, the Tortoise and Quantum Mechanics
 
Transpostgenderism 5 jean_davidponci
Transpostgenderism 5 jean_davidponciTranspostgenderism 5 jean_davidponci
Transpostgenderism 5 jean_davidponci
 
Transhumanism and brain
Transhumanism and brainTranshumanism and brain
Transhumanism and brain
 
Transhumanism and brain
Transhumanism and brainTranshumanism and brain
Transhumanism and brain
 
Netherhall 2018 m fox
Netherhall 2018 m foxNetherhall 2018 m fox
Netherhall 2018 m fox
 
Sequential processing in nature
Sequential processing in natureSequential processing in nature
Sequential processing in nature
 

Recently uploaded

Introduction to Chromatography (Column chromatography)
Introduction to Chromatography (Column chromatography)Introduction to Chromatography (Column chromatography)
Introduction to Chromatography (Column chromatography)Ahmed Metwaly
 
Salesforce Starter Package Presentation.
Salesforce Starter Package Presentation.Salesforce Starter Package Presentation.
Salesforce Starter Package Presentation.Naresh Gupta
 
PSILOTUM : structure, morphology, anatomy, reproduction , life cycle etc.
PSILOTUM : structure, morphology, anatomy,  reproduction , life cycle etc.PSILOTUM : structure, morphology, anatomy,  reproduction , life cycle etc.
PSILOTUM : structure, morphology, anatomy, reproduction , life cycle etc.Silpa Selvaraj
 
Presentacion Mariana Arango- biología molecular
Presentacion Mariana Arango- biología molecularPresentacion Mariana Arango- biología molecular
Presentacion Mariana Arango- biología molecularmarianaarangop
 
Safety_and_Health_Programs_v-03-01-17.pptx
Safety_and_Health_Programs_v-03-01-17.pptxSafety_and_Health_Programs_v-03-01-17.pptx
Safety_and_Health_Programs_v-03-01-17.pptxmohamedsami2233
 
Chemical Bonding and it's Types 001.pptx
Chemical Bonding and it's Types 001.pptxChemical Bonding and it's Types 001.pptx
Chemical Bonding and it's Types 001.pptxperiyar arts college
 
1.0 - The Light Miscroscope.ppt microscopy
1.0 - The Light Miscroscope.ppt microscopy1.0 - The Light Miscroscope.ppt microscopy
1.0 - The Light Miscroscope.ppt microscopystephenopokuasante
 
American Eclipse A Nation’s Epic Race to Catch the_240225_095603
American Eclipse A Nation’s Epic Race to Catch the_240225_095603American Eclipse A Nation’s Epic Race to Catch the_240225_095603
American Eclipse A Nation’s Epic Race to Catch the_240225_095603SOCIEDAD JULIO GARAVITO
 
Genetic Code. A comprehensive overview..pdf
Genetic Code. A comprehensive overview..pdfGenetic Code. A comprehensive overview..pdf
Genetic Code. A comprehensive overview..pdfmughalgumar440
 
Anti-Obesity Activity of Anthocyanins and Corresponding Introduction in Dieta...
Anti-Obesity Activity of Anthocyanins and Corresponding Introduction in Dieta...Anti-Obesity Activity of Anthocyanins and Corresponding Introduction in Dieta...
Anti-Obesity Activity of Anthocyanins and Corresponding Introduction in Dieta...AmalDhivaharS
 
Open Access Publishing in Astrophysics and the Open Journal of Astrophysics
Open Access Publishing in Astrophysics and the Open Journal of AstrophysicsOpen Access Publishing in Astrophysics and the Open Journal of Astrophysics
Open Access Publishing in Astrophysics and the Open Journal of AstrophysicsPeter Coles
 
Differences between syrups and elixirs .pptx
Differences between  syrups and elixirs .pptxDifferences between  syrups and elixirs .pptx
Differences between syrups and elixirs .pptxushakiranmai4
 
Tissue of the primary plant body.pdf pdf
Tissue of the primary plant body.pdf pdfTissue of the primary plant body.pdf pdf
Tissue of the primary plant body.pdf pdfstephenopokuasante
 
Cytotoxic Activity of Linum usitatissimum L. Essential oil against Lung Adeno...
Cytotoxic Activity of Linum usitatissimum L. Essential oil against Lung Adeno...Cytotoxic Activity of Linum usitatissimum L. Essential oil against Lung Adeno...
Cytotoxic Activity of Linum usitatissimum L. Essential oil against Lung Adeno...AmalDhivaharS
 
Seminario biología molecular Lina Charris
Seminario biología molecular Lina CharrisSeminario biología molecular Lina Charris
Seminario biología molecular Lina CharrisLinaMarcelaCharrisRa
 
Automatic Stainer & Screener technique.pptx
Automatic Stainer & Screener technique.pptxAutomatic Stainer & Screener technique.pptx
Automatic Stainer & Screener technique.pptxSagarBhakare1
 
Seminario biología molecular Lina Charris
Seminario biología molecular Lina CharrisSeminario biología molecular Lina Charris
Seminario biología molecular Lina CharrisLinaMarcelaCharrisRa
 
Microbial Fermentation(Strain Improvement)
Microbial  Fermentation(Strain Improvement)Microbial  Fermentation(Strain Improvement)
Microbial Fermentation(Strain Improvement)Rachana Choudhary
 
CHEMICAL TESTS FOR GLYCOSIDES AND ALKALOIDS.pptx
CHEMICAL TESTS FOR GLYCOSIDES AND ALKALOIDS.pptxCHEMICAL TESTS FOR GLYCOSIDES AND ALKALOIDS.pptx
CHEMICAL TESTS FOR GLYCOSIDES AND ALKALOIDS.pptxASWIN ANANDH
 

Recently uploaded (20)

Introduction to Chromatography (Column chromatography)
Introduction to Chromatography (Column chromatography)Introduction to Chromatography (Column chromatography)
Introduction to Chromatography (Column chromatography)
 
Salesforce Starter Package Presentation.
Salesforce Starter Package Presentation.Salesforce Starter Package Presentation.
Salesforce Starter Package Presentation.
 
PSILOTUM : structure, morphology, anatomy, reproduction , life cycle etc.
PSILOTUM : structure, morphology, anatomy,  reproduction , life cycle etc.PSILOTUM : structure, morphology, anatomy,  reproduction , life cycle etc.
PSILOTUM : structure, morphology, anatomy, reproduction , life cycle etc.
 
Presentacion Mariana Arango- biología molecular
Presentacion Mariana Arango- biología molecularPresentacion Mariana Arango- biología molecular
Presentacion Mariana Arango- biología molecular
 
Safety_and_Health_Programs_v-03-01-17.pptx
Safety_and_Health_Programs_v-03-01-17.pptxSafety_and_Health_Programs_v-03-01-17.pptx
Safety_and_Health_Programs_v-03-01-17.pptx
 
Chemical Bonding and it's Types 001.pptx
Chemical Bonding and it's Types 001.pptxChemical Bonding and it's Types 001.pptx
Chemical Bonding and it's Types 001.pptx
 
1.0 - The Light Miscroscope.ppt microscopy
1.0 - The Light Miscroscope.ppt microscopy1.0 - The Light Miscroscope.ppt microscopy
1.0 - The Light Miscroscope.ppt microscopy
 
American Eclipse A Nation’s Epic Race to Catch the_240225_095603
American Eclipse A Nation’s Epic Race to Catch the_240225_095603American Eclipse A Nation’s Epic Race to Catch the_240225_095603
American Eclipse A Nation’s Epic Race to Catch the_240225_095603
 
Genetic Code. A comprehensive overview..pdf
Genetic Code. A comprehensive overview..pdfGenetic Code. A comprehensive overview..pdf
Genetic Code. A comprehensive overview..pdf
 
REGULATION OF METABOLISM IN PLANTS AND THE DIFFERENT MECHANISMS
REGULATION OF METABOLISM IN PLANTS  AND THE DIFFERENT MECHANISMSREGULATION OF METABOLISM IN PLANTS  AND THE DIFFERENT MECHANISMS
REGULATION OF METABOLISM IN PLANTS AND THE DIFFERENT MECHANISMS
 
Anti-Obesity Activity of Anthocyanins and Corresponding Introduction in Dieta...
Anti-Obesity Activity of Anthocyanins and Corresponding Introduction in Dieta...Anti-Obesity Activity of Anthocyanins and Corresponding Introduction in Dieta...
Anti-Obesity Activity of Anthocyanins and Corresponding Introduction in Dieta...
 
Open Access Publishing in Astrophysics and the Open Journal of Astrophysics
Open Access Publishing in Astrophysics and the Open Journal of AstrophysicsOpen Access Publishing in Astrophysics and the Open Journal of Astrophysics
Open Access Publishing in Astrophysics and the Open Journal of Astrophysics
 
Differences between syrups and elixirs .pptx
Differences between  syrups and elixirs .pptxDifferences between  syrups and elixirs .pptx
Differences between syrups and elixirs .pptx
 
Tissue of the primary plant body.pdf pdf
Tissue of the primary plant body.pdf pdfTissue of the primary plant body.pdf pdf
Tissue of the primary plant body.pdf pdf
 
Cytotoxic Activity of Linum usitatissimum L. Essential oil against Lung Adeno...
Cytotoxic Activity of Linum usitatissimum L. Essential oil against Lung Adeno...Cytotoxic Activity of Linum usitatissimum L. Essential oil against Lung Adeno...
Cytotoxic Activity of Linum usitatissimum L. Essential oil against Lung Adeno...
 
Seminario biología molecular Lina Charris
Seminario biología molecular Lina CharrisSeminario biología molecular Lina Charris
Seminario biología molecular Lina Charris
 
Automatic Stainer & Screener technique.pptx
Automatic Stainer & Screener technique.pptxAutomatic Stainer & Screener technique.pptx
Automatic Stainer & Screener technique.pptx
 
Seminario biología molecular Lina Charris
Seminario biología molecular Lina CharrisSeminario biología molecular Lina Charris
Seminario biología molecular Lina Charris
 
Microbial Fermentation(Strain Improvement)
Microbial  Fermentation(Strain Improvement)Microbial  Fermentation(Strain Improvement)
Microbial Fermentation(Strain Improvement)
 
CHEMICAL TESTS FOR GLYCOSIDES AND ALKALOIDS.pptx
CHEMICAL TESTS FOR GLYCOSIDES AND ALKALOIDS.pptxCHEMICAL TESTS FOR GLYCOSIDES AND ALKALOIDS.pptx
CHEMICAL TESTS FOR GLYCOSIDES AND ALKALOIDS.pptx
 

Infinite Chess: winning and draw

  • 1. Infinite Chess: winning and draw Marco Natale, MSc Mathematics IPE Business School – Naples, Italy ISIS “R.L. Montalcini” – Quarto (NA), Italy
  • 2. Features of Chess • Perfect Information • No randomness • Two alternating players • No ties • Ends in a finite number of moves
  • 5. Winning Strategy • A position in an assignment to each location on the board indicating whether or not there is a piece there and if so, which piece. A position p is said to be computable if there exists Turing machine (i.e. a deterministic procedure) able to computable it. • A strategy for one of the players from a given position p is a function that tells the player, given the prior sequence of moves from p, what he is to play next. A strategy τ is computable, if this function is a computable function in the sense of Turing computability. • If τ and σ are strategies, then τ ∗ σ indicates the play resulting from having the first player play strategy τ and the second player play strategy σ. • The strategy τ defeats σ, if this play results in a win for the first player. A strategy τ is a winning strategy, if it defeats all opposing strategies.
  • 6. Game Value (a.k.a. the Doomsday Clock) • A position is said to be mate-in-n for the first player, if there is a strategy leading to checkmate in at most n moves, regardless of how the opponent plays. • In this case, we say that the Game Value is equal to n.
  • 8. Features of Chess • Perfect Information • No randomness • Two alternating players • No ties • Ends in a finite number of moves Zermelo’s THeorem
  • 10. Infinite Chess Features • Chess Board: infinite, edgeless (~ℤ×ℤ) – No pawn promotion, castling nor en passant • Pieces: familiar chess pieces, which can be finite or infinite in number (max. 1 king) • There is no standard starting configuration • Infinite play is a draw • No three-fold repetition rule
  • 11. Infinite Chess Mate-In-n White mates in (at most) 5 GV=5
  • 12. Infinite Chess Mate-In-n White mates in ω moves GV=…
  • 13. Releasing the Hordes The pawn columns continue infinitely up and down, dividing the plane into two halves. White aims to open the portcullis — the emphasized pawn below the central bishop — thereby releasing the queen horde into the right half- plane, which can proceed to deliver checkmate.
  • 14. Releasing the Hordes White mates in ω2 moves GV=ω2
  • 15. Ordinal Numbers • In set theory, an ordinal number, is one generalization of the concept of a natural number that is used to describe a way to arrange a collection of objects in order, one after another. • Any finite collection of objects can be put in order just by the process of counting: labelling the objects with distinct whole numbers. Ordinal numbers are thus the "labels" needed to arrange collections of objects in order. • We do not need to count after infinity, just to order after infinity.
  • 16. Ordinal Numbers • In mathematics, specifically set theory, an ordinal α is said to be recursive if there is a Turing machine able to compute it (at least in principle). • It is easy to prove that ω is recursive. • The supremum of all recursive ordinal, the Church- Kleene ordinal 𝜔1 𝐶𝐾 , is non recursive. • As a consequence, an ordinal number α is recursive if and only if 𝛼 < 𝜔1 𝐶𝐾
  • 17. The “Omega One of Chess” Definition: • The ordinal ω1 𝐶ℎ is the supremum of the game values of the winning finite positions for white in infinite chess • The ordinal ω1 𝐶ℎ is the supremum of the game values of the winning positions for white in infinite chess, including positions with infinitely many pieces
  • 18. The “Omega One of Chess” • Theorem: ω1 𝐶ℎ < ω1 𝐶ℎ < ω1 𝐶𝐾 • Proof: To explain, let us review how the ordinal game values arise. – Suppose without loss of generality that white is the designated player. – Consider the game tree T of all possible finite plays, that is, finite sequences of positions, each obtained by a legal move from the previous position.
  • 19. The “Omega One of Chess” • Theorem: ω1 𝐶ℎ < ω1 𝐶ℎ < ω1 𝐶𝐾 • Proof: – Specifically, the positions with value 0 are precisely the positions in which the game has just been completed with a win for white. – If a position p is black-to-play, but all legal black plays result in a position having a previously assigned ordinal value, then the value of position p is decreed to be the supremum of these ordinals.
  • 20. The “Omega One of Chess” • Theorem: ω1 𝐶ℎ < ω1 𝐶ℎ < ω1 𝐶𝐾 • Proof: – If a position p is white-to-play, and there is a white move to a position with value β, with β minimal, then p has value β+1. – In this way, for any position p with value, we may recursively associate to p the value-reducing strategy p → v(p).
  • 21. The “Omega One of Chess” • Theorem: ω1 𝐶ℎ < ω1 𝐶ℎ < ω1 𝐶𝐾 • Conclusion: – If a position p is a winning position for white, there is a Turing machine able to compute the value-reducing strategy p → v(p), and therefore to win.
  • 22. An interesting position • Theorem: there is a position in infinite chess such that: – The position is computable, – In the category of computable play, the position is a win for white (i.e. white has a computable strategy defeating every computable strategy for black), – In the category of arbitrary play, the position is a draw.
  • 23. An interesting position • Proof: – Let T be any computable infinite tree having no computable infinite branch. (Such trees are known to exist by classical results). – Since the tree is infinite, it is an infinite finitely- branching tree, and hence it has an infinite branch, even if it has no infinite computable branch.
  • 24. An interesting position • The position consists of a series of channels, branching points and dead-ends, arranged in the form of a tree, whose tree structure coincides with T, • Every branch is finite, so it is computable, • Anyway, the whole tree is not computable (hint: Axiom of Choice).
  • 25. An interesting position • Because the tree T has an infinite branch, then it is clear that black has a drawing strategy: simply climb the tree along an infinite branch. • If black is restricted to play a computable strategy, since the tree has no computable infinite branch, black will inevitably find himself in one of the dead- end zones.
  • 26. An interesting position • If black is not restricted to play in according to a computable strategy, he can simply continue to move infinitely through the tree, therefore forcing a draw.
  • 27. Conclusion We have found a position in infinite chess such that: • if both players are required to implement computable strategies (i.e. if they are computer programs), white can force a win; • if white implements a computable strategy, while black is not required to do so, black can force a draw.
  • 28. Conclusion The draw that black can force in this position is therefore an example of something that a man could in principle do, which is not allowed to a machine.
  • 29. References • C.D.A. Evans and Joel David Hamkins. “Transfinite game values in infinite chess”. Integers, 14: Paper No. G2, 36, 2014. • C.D.A. Evans, J. D. Hamkins, and N.L. Perlmutter, “A position in infinite chess with game value ω4,” Integers, vol. 17, p. Paper No. G4, 22, 2017.