Jump to ContentJump to Main Navigation

You are looking at 1-10 of 20 items

  • Keywords: proving x
Clear All Modify Search

View:

What Laws of Logic Say

Charles Travis

in Objectivity and the Parochial

Published in print:
2010
Published Online:
January 2011
ISBN:
9780199596218
eISBN:
9780191595783
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199596218.003.0002
Subject:
Philosophy, Aesthetics

How does a law of logic speak to thought? How, if at all, might the world speak to such a law's truth? Is there such a thing as things being other than it says? What does it say? This chapter ... More


The Procedural Setting of Complementarity

Jann K. Kleffner

in Complementarity in the Rome Statute and National Criminal Jurisdictions

Published in print:
2008
Published Online:
May 2009
ISBN:
9780199238453
eISBN:
9780191716744
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199238453.003.0005
Subject:
Law, Public International Law

This chapter first addresses the procedural stages at which admissibility may arise. These procedures provide a framework for interaction between States and the Prosecutor, which is moderated by and ... More


Protein structure (cross) validation

Michael R. Sawaya

in Crystal Structure Refinement: A Crystallographer's Guide to SHELXL

Published in print:
2006
Published Online:
September 2010
ISBN:
9780198570769
eISBN:
9780191718809
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198570769.003.0011
Subject:
Physics, Crystallography

Cross validation is a key concept in attaining accuracy in crystallographic refinement. Refinement of protein structures is especially subject to model bias; an unchecked imagination during the model ... More


Visualizing in Mathematics

Marcus Giaquinto

in The Philosophy of Mathematical Practice

Published in print:
2008
Published Online:
February 2010
ISBN:
9780199296453
eISBN:
9780191711961
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199296453.003.0002
Subject:
Philosophy, Logic/Philosophy of Mathematics

Visual thinking in mathematics (thinking with representations in visual imagination or external diagrams) has a plurality of uses. This chapter assesses the epistemic standing of major uses of visual ... More


Proving in the Elementary Mathematics Classroom

Andreas J. Stylianides

Published in print:
2016
Published Online:
September 2016
ISBN:
9780198723066
eISBN:
9780191789588
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198723066.001.0001
Subject:
Mathematics, Educational Mathematics

Proving in the Elementary Mathematics Classroom addresses a fundamental problem in children’s learning that has received relatively little research attention: Although proving and related concepts ... More


The Atheist Crusade

Paul Froese

in The Plot to Kill God: Findings from the Soviet Experiment in Secularization

Published in print:
2008
Published Online:
May 2012
ISBN:
9780520255289
eISBN:
9780520942738
Item type:
chapter
Publisher:
University of California Press
DOI:
10.1525/california/9780520255289.003.0003
Subject:
Religion, Religious Studies

This chapter inquires into the dynamics of the Soviet atheist project, in view of the objective practices and policies, which unknowingly to the Communists, filled the gap between the atheist ideals ... More


Scaling Up an Organization

Luis Perez-Breva and Nick Fuhrer

in Innovating: A Doer's Manifesto for Starting from a Hunch, Prototyping Problems, Scaling Up, and Learning to Be Productively Wrong

Published in print:
2017
Published Online:
September 2017
ISBN:
9780262035354
eISBN:
9780262336680
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262035354.003.0010
Subject:
Business and Management, Innovation

Organizations don’t just grown on their own. You build them, and you may end up building multiple organizations, each one atop the previous one. The scale-up logic is straightforward: You present ... More


Imagining ENIAC

Thomas Haigh, Mark Priestley, and Crispin Rope

in Eniac in Action: Making and Remaking the Modern Computer

Published in print:
2016
Published Online:
May 2017
ISBN:
9780262033985
eISBN:
9780262334426
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262033985.003.0002
Subject:
History, History of Science, Technology, and Medicine

Explores the origins of ENIAC, beginning with its two primary inventors John W. Mauchly and J. Presper Eckert. Examines ENIAC’s original 1942 and 1943 proposals, the process by which the machine was ... More


ENIAC Arrives at the Ballistic Research Lab

Thomas Haigh, Mark Priestley, and Crispin Rope

in Eniac in Action: Making and Remaking the Modern Computer

Published in print:
2016
Published Online:
May 2017
ISBN:
9780262033985
eISBN:
9780262334426
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262033985.003.0006
Subject:
History, History of Science, Technology, and Medicine

In 1947 ENIAC was unpacked and installed at the Ballistic Research Laboratory in Aberdeen, Maryland. This chapter explores its first fifteen months there, beginning with some context about the ... More


Chalk: Materials and Concepts in Mathematics Research

Michael J. Barany and Donald MacKenzie

in Representation in Scientific Practice Revisited

Published in print:
2014
Published Online:
May 2014
ISBN:
9780262525381
eISBN:
9780262319157
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262525381.003.0006
Subject:
Society and Culture, Technology and Society

This chapter devotes close empirical attention to the social and material achievement of proofs, theorems, and other mathematical constructions. Mathematics is often treated as the most abstract and ... More


View: