
05986080
j
2011f.00397
Greenhill, Catherine
Sudoku, logic and proof.
Parabola 47, No. 2, 312 (2011).
2011
AMT Publishing, Australian Mathematics Trust, University of Canberra, Canberra; School of Mathematics \& Statistics, University of New South Wales, Sydney
EN
E50
A20
U60
proving
mathematical logic
foundations of mathematics
justifying
deduction
proof by exhaustion of cases
proof by contradiction
guessing
problem solving
mental games
latin squares
combinatorics
The article starts with some combinatorial basics of Sudoku. In the main part, the author describes and evaluates the mathematical logic and proof techniques used while solving a Sudoku puzzle.
Peter D\"urr (Linkenheim)