Three-dimensional solutions for two-dimensional problems

Shen, Alexander
June 1997
Mathematical Intelligencer;Summer97, Vol. 19 Issue 3, p44
Academic Journal
Discusses the use of nice proofs in mathematics, focusing on the construction of a three-dimensional space. Benefits of the space; Examples of the Desargues theorem; Problems relating to the construction on a circle tangent.


Related Articles

  • CORRIGENDUM.  // Review of Symbolic Logic;Sep2009, Vol. 2 Issue 3, p591 

    A correction to the article "Intransitivity and Vagueness" by Joseph Y. Halpern that was published in a previous issue is presented.

  • Editorial: Relational approaches to knowledge representation and learning. Beierle, Christoph; Kern-Isberner, Gabriele // Logic Journal of the IGPL;Oct2012, Vol. 20 Issue 5, p771 

    An introduction is presented in which the editor discusses various articles within the issue on topics including logic, KReator system and entropy.

  • Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut... Carbone, A.; Semmes, S. // Bulletin (New Series) of the American Mathematical Society;Apr1997, Vol. 34 Issue 2, p131 

    Introduces the combinatorics and complexity of cut elimination in mathematical logic. Explanation of sequent calculus; Analysis of cut elimination; Role of cut elimination in the mathematical proofs; Remarks about the subformula property; Introduction of the Craig interpolation, Herbrand's and...

  • CRACK THE CODE. Pickover, Clifford A. // Odyssey;Nov2004, Vol. 13 Issue 8, p41 

    Presents a brain strain for the readers related to a logical reasoning.

  • The death of proof? Semi-rigorous mathematics? You've got to be kidding! Andrews, George E. // Mathematical Intelligencer;Fall94, Vol. 16 Issue 4, p16 

    Presents a critique of Doron Zeilberger's article `Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture' about the paradigm shift in mathematical proving. Nature of rigorous mathematics; Computer application in proof theory; Proving of identities.

  • A VERIFICATION OF LANCHESTER'S LAW. Engel, J.H. // Journal of the Operations Research Society of America;May54, Vol. 2 Issue 2, p163 

    The validity of Lanchester's equations is demonstrated in an actual combat situation where US forces captured the island of Iwo Jima. The equations tested are dM/dt=P(t)-AN, and dN/dt=-BM, with t the time elapsed since the beginning of the engagement, measured in days; M(t), and N(t) the...

  • Extending States on Finite Concrete Logics. De Simone, Anna; Navara, Mirko; Pták, Pavel // International Journal of Theoretical Physics;Aug2007, Vol. 46 Issue 8, p2046 

    In this note we collect several observations on state extensions. They may be instrumental to anyone who pursues the theory of quantum logics. In particular, we find out when extensions (resp. signed extensions) exist in the “concrete” concrete logic of all even-element subsets of an...

  • Many-valued logics. Gray, Jeremy J. // Mathematical Intelligencer;Spring96, Vol. 18 Issue 2, p23 

    Presents a study on logistics and propositions. Definition of logistics; Stance taken by the philosopher Aristotle; When the calculus of logistics was established; Efforts of Scotsman Huge MacColl to extend logical calculus to modal questions; Information on Polish logicians and mathematicians;...

  • BSL volume 20 issue 4 Cover and Front matter.  // Bulletin of Symbolic Logic;Dec2014, Vol. 20 Issue 4, pf1 

    The article offers information on the journal "The Bulletin of Symbolic Logic" including its editorial board and table of contents.

  • BSL volume 20 issue 4 Cover and Back matter.  // Bulletin of Symbolic Logic;Dec2014, Vol. 20 Issue 4, pb1 

    The article offers information on the journal "The Bulletin of Symbolic Logic" including its subscription policy and membership to the Association of Symbolic Logic (ASL).


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics