How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic (Q5942554)
From MaRDI portal
scientific article; zbMATH DE number 1638978
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic |
scientific article; zbMATH DE number 1638978 |
Statements
How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic (English)
0 references
16 October 2001
0 references
An account on M. A. Berger's, A. Felzenbaum's and A. S. Fraenkel's geometric proof of the Davenport-Rado-Mirsky-Newman result saying that there are at least two congruences with respect to the same modulus in an exact cover of integers. The author shows the connections of the above proof with Boolean tautologies in disjunctive normal forms.
0 references
covering systems
0 references
disjunctive normal form
0 references
