Search:

Results 1 to 10 of 115 |

Math proofs demystified / by Gibilisco, Stan.(CARDINAL)167943;
Subjects: Proof theory;
Available copies: 1 / Total copies: 2
unAPI

The moment of proof : mathematical epiphanies / by Benson, Donald C.(CARDINAL)647565;
Includes bibliographical references (pages 319-322) and index.
Subjects: Proof theory;
Available copies: 1 / Total copies: 1
unAPI

Proofs & theories : essays on poetry / by Glück, Louise,1943-2023.(CARDINAL)509811;
Education of the poet -- On T.S. Eliot -- The idea of courage -- On George Oppen -- Against sincerity -- On Hugh Seidman -- The forbidden -- Obstinate humanity -- Disruption, hesitation, silence -- Disinterestedness -- The best American poetry 1993 : introduction -- The dreamer and the watcher -- On Stanley Kunitz -- Invitation and exclusion -- Death and absence -- On impoverishment.
Subjects: Poetics.;
Available copies: 2 / Total copies: 3
unAPI

Incompleteness : the proof and paradox of Kurt Gödel / by Goldstein, Rebecca,1950-(CARDINAL)729866;
Includes bibliographical references (pages 263-277) and index.A Platonist among the positivists -- Hilbert and the formalists -- The proof of incompleteness -- Gödel's incompleteness."An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.
Subjects: Biographies.; Gödel, Kurt.; Logicians; Logicians; Proof theory.;
Available copies: 5 / Total copies: 5
unAPI

Meditations on first philosophy : with selections from the Objections and replies / by Descartes, René,1596-1650.(CARDINAL)142376; Moriarty, Michael,1956-(CARDINAL)769190;
Includes bibliographical references and index.Meditations on first philosophy -- The Objections and replies.
Subjects: First philosophy.; God; Methodology.; Knowledge, Theory of.;
Available copies: 0 / Total copies: 1
unAPI

Proof [videorecording] / by Auburn, David,1969-(CARDINAL)703637; Audsley, Mick.flm(CARDINAL)847951; Davis, Hope,1967-actor.(CARDINAL)432745; Goldstein, Julie,film producer.(CARDINAL)849255; Gyllenhaal, Jake,1980-actor.(CARDINAL)537580; Hart, John N.,Jr.film producer.; Hopkins, Anthony,1937-actor.(CARDINAL)346613; Küchler, Alwin.cng; Kessel, Robert,film producer.; Madden, John,1949-film director.; Miller, Rebecca,1962-screenwritter.(CARDINAL)529972; Normington, Alice.dsr; Owen, Alison,1961-film producer.; Paltrow, Gwyneth,1972-actor.(CARDINAL)357167; Seth, Roshan,1942-actor.(CARDINAL)824642; Sharp, Jeffrey,film producer.; Stern, James D.,film producer.; Taylor, Jill,1951-cst; Warbeck, Stephen,composer.; Weinstein, Bob,1953-film producer.; Weinstein, Harvey,1952-film producer.(CARDINAL)786311; Buena Vista Home Entertainment (Firm)(CARDINAL)340297; Endgame Entertainment (Firm); Hart-Sharp Entertainment (Firm); Inside Track 1 Llp.; Miramax Films.(CARDINAL)436238; Miramax Home Entertainment (Firm); Weinstein Company.(CARDINAL)340085;
Cinematographer, Alwin H. Kuchler ; editor, Mick Audsley ; music, Stephen Warbeck.Gwyneth Paltrow, Anthony Hopkins, Jake Gyllenhaal, Hope Davis, Danny McCarthy.With the help of one of her father's former students, Catherine, a devoted daughter, must come to terms with the death of her father, a brilliant mathematician whose genius was crippled by mental instability. After his death, a notebook containing a mathematical proof is found and Catherine claims the proof is her own work.MPAA rating: PG13, for some sexual content, language and drug reference.DVD; region 1 encoding; widescreen (2.35:1)
Subjects: Feature films.; Melodrama.; Video recordings for the hearing impaired.; Domestic drama.; Father-daughter relationship; Fathers and daughters; Fathers; Grief; Mathematicians; Mental illness; Proof theory;
For private home use only.
Available copies: 18 / Total copies: 24
unAPI

Moore genealogy with notes, theories, and proofs. by Moore, Len,1933-(CARDINAL)721752;
Subjects: Family histories.; Moore family.; Moore, Sterling.;
Available copies: 1 / Total copies: 1
unAPI

Proof : the art and science of certainty / by Kucharski, Adam(Mathematician),author.(CARDINAL)411740;
Includes bibliographical references (pages 309-342) and index.The national axioms -- Logic makes mathematical monsters -- One hundred guilty and one innocent -- Tasting statistical tea and brewing scientific beer -- Paradigm rifts -- Big lies -- In machines we trust -- How much do we lose?"An award-winning mathematician shows how we prove what's true, and what to do when we can't. How do we establish what we believe? And how can we be certain that what we believe is true? And how do we convince other people that it is true? For thousands of years, from the ancient Greeks to the Arabic golden age to the modern world, science has used different methods--logical, empirical, intuitive, and more--to separate fact from fiction. But it all had the same goal: find perfect evidence and be rewarded with universal truth. As mathematician Adam Kucharski shows, however, there is far more to proof than axioms, theories, and laws: when demonstrating that a new medical treatment works, persuading a jury of someone's guilt, or deciding whether you trust a self-driving car, the weighing up of evidence is far from simple. To discover proof, we must reach into a thicket of errors and biases and embrace uncertainty--and never more so than when existing methods fail. Spanning mathematics, science, politics, philosophy, and economics, this book offers the ultimate exploration of how we can find our way to proof--and, just as importantly, of how to go forward when supposed facts falter"--
Subjects: Proof theory; Logic, Symbolic and mathematical; Belief and doubt; Uncertainty; Errors, Scientific;
Available copies: 6 / Total copies: 11
unAPI

Girl trouble : stories / by Jones, Holly Goddard.(CARDINAL)495231;
Good girl -- Life expectancy -- Parts -- Allegory of a cave -- An upright man -- Theory of realty -- Retrospective -- Proof of God.
Subjects: Fiction.; Short stories.; Ethics; Small cities;
Available copies: 5 / Total copies: 5
unAPI

The Theory of Everything [videorecording] /
DVD.System requirements:
Subjects: Inspiration.; Faith.;
Available copies: 2 / Total copies: 2
unAPI

Results 1 to 10 of 115 |