| 单词 |
law (or principle) of the excluded middle |
| 释义 |
law (or principle) of the excluded middle Logic The principle that one (and one only) of two contradictory propositions must be true.This is likely because in logic a paradox is going to be translated as a strict contradiction - a clear violation of the law of the excluded middle....- In his Hamburg lecture in 1921, Hilbert first presented the idea of using choice functions to deal with the principle of the excluded middle in a formal system for arithmetic.
- In 1913 Lesniewski published an article on the law of the excluded middle, then in the following year a publication on Russell's paradox.
See parent entry: exclude |
| 随便看 |
- John Nash
- johnny
- johnnycake
- johnny-come-lately
- Johnny-on-the-spot
- Johnny Reb
- John of Damascus, St
- John of Gaunt
- John of the Cross, St
- John o'Groats
- John Paul II
- John Q. Public
- John, Sir Elton
- Johns, Jasper
- johnson
- Johnson, Amy
- Johnson, Andrew
- Johnson City
- Johnson, Cornelius
- Johnson, Earvin
- Johnsonian
- Johnson, Jack
- Johnson, James Weldon
- Johnson, Jimmie
- Johnson, Lyndon Baines
|