How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic (Q5942554): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 23:44, 4 March 2024
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
