[permalink] [id link]
George Boolos ( 1989 ) built on a formalized version of Berry's paradox to prove Gödel's Incompleteness Theorem in a new and much simpler way.
from
Wikipedia
Some Related Sentences
George and Boolos
George Boolos has since sketched an alternative proof of the first incompleteness theorem that uses Berry's paradox rather than the liar paradox to construct a true but unprovable formula.
* George Boolos, John P. Burgess, Richard C. Jeffrey, Logic, logic, and logic ( Harvard University Press, 1999 ).
Hume's Principle or HP — the terms were coined by George Boolos — says that the number of Fs is equal to the number of Gs if and only if there is a one-to-one correspondence ( a bijection ) between the Fs and the Gs.
George Stephen Boolos ( September 4, 1940, New York City – May 27, 1996 ) was a philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
In recent years second-order logic has made something of a recovery, buoyed by George Boolos ' interpretation of second-order quantification as plural quantification over the same domain of objects as first-order quantification ( Boolos 1984 ).
The view is commonly associated with George Boolos, though it is older ( see notably Simons 1982 ), and is related to the view of classes defended by John Stuart Mill and other nominalist philosophers.
* George Boolos, 1984, " To be is to be the value of a variable ( or to be some values of some variables )," Journal of Philosophy 81: 430 – 449.
The term was coined by George Boolos in his well-known paper " To Be is to Be a Value of a Variable ( or to Be Some Values of Some Variables ).
George Boolos, inspired by his student Michael Ernst, has written that the sentence might be syntactically ambiguous, in using multiple quotation marks whose exact mate marks cannot be determined.
" George Boolos demonstrated that there was a derivation that could be completed in a page using cut, but whose analytic proof could not be completed in the lifespan of the universe.
George and 1989
This was followed by a second series, Blackadder II ( 1986 ) set during the reign of Elizabeth I, a third series Blackadder the Third ( 1987 ) set during the late 18th and early 19th centuries in the reign of George III, and finally Blackadder Goes Forth ( 1989 ) in 1917, set in the trenches of the Great War.
In 1990, he appeared on " Kool Thing ", a song by the alternative rock band Sonic Youth, and along with Flavor Flav, he sang on George Clinton's song " Tweakin '", which appears on his 1989 album The Cinderella Theory.
* 1989 – Cold War: In a meeting off the coast of Malta, US President George H. W. Bush and Soviet leader Mikhail Gorbachev release statements indicating that the cold war between Nato and The Soviet Union may be coming to an end.
On November 21, 1989, George H. W. Bush signed an appropriation bill authorizing payments to be paid out between 1990 and 1998.
George Herbert Walker Bush ( born June 12, 1924 ) is an American politician who served as the 41st President of the United States ( 1989 – 93 ).
* Jenkins, Lucien, Collected Poems of George Eliot, London, Skoob Books Publishing, 1989, ISBN 1-871438-35-7
In 1989, American President George H. W. Bush and his wife Barbara met with the Polgárs during their visit to Hungary.
Alexander is best known as one of the key cast members of the award-winning television sitcom Seinfeld ( 1989 – 1998 ), in which he played George Costanza ( Jerry Seinfeld's character's best friend since childhood ).
On July 20, 1989, George H. W. Bush — then President of the United States — announced plans for what came to be known as the Space Exploration Initiative ( SEI ).
* Rushing Touchdowns: 13 George Rogers ( 1981 ), Dalton Hilliard ( 1989 ), and Deuce McAllister ( 2002 )
The treaty was eventually signed as an initiative of US president ( and former Director of Central Intelligence ) George H. W. Bush in 1989.
Since 1989, when the custom of " pardoning " the turkey was formalized by George H. W. Bush, the turkey has been taken to a farm where it will live out the rest of its natural life.
The 49ers under rookie head coach George Seifert, who took over after Bill Walsh retired after the previous season's Super Bowl, finished the 1989 regular season with a league best 14-2 record.
In April 1989, Rangers owner and oil tycoon Eddie Chiles, sold the team to an investment group headed by George W. Bush, son of the President of the United States, George H. W. Bush.
Of six novels published as " Infocom Books " by Avon Books between 1989 – 1991, four were directly based on Zork: The Zork Chronicles by George Alec Effinger ( 1990 ), The Lost City of Zork by Robin W. Bailey ( 1991 ), Wishbringer by Craig Shaw Gardner and Enchanter, also by Bailey.
0.209 seconds.