id: 05986080
dt: j
an: 2011f.00397
au: Greenhill, Catherine
ti: Sudoku, logic and proof.
so: Parabola 47, No. 2, 3-12 (2011).
py: 2011
pu: AMT Publishing, Australian Mathematics Trust, University of Canberra,
Canberra; School of Mathematics \& Statistics, University of New South
Wales, Sydney
la: EN
cc: E50 A20 U60
ut: proving; mathematical logic; foundations of mathematics; justifying;
deduction; proof by exhaustion of cases; proof by contradiction;
guessing; problem solving; mental games; latin squares; combinatorics
ci:
li:
ab: 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.
rv: Peter Dürr (Linkenheim)