The Chinese Remainder Theorem, its Proofs and its Generalizations in Mathematical Repositories

Studies in Logic, Grammar and Rhetoric 18 (31) (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A theorem on generalizations of proofs.Tsuyoshi Yukami - 1990 - Archive for Mathematical Logic 30 (3):139-153.
The translation theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Aspects of Mathematical Explanation: Symmetry, Unity, and Salience.Marc Lange - 2014 - Philosophical Review 123 (4):485-531.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Mathematical Fit: A Case Study.Manya Raman-Sundström & Lars-Daniel Öhman - forthcoming - Philosophia Mathematica:nkw015.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
Mathematical Explanations that are Not Proofs.Marc Lange - 2018 - Erkenntnis 83 (6):1285-1302.
Mathematical proofs.Marco Panza - 2003 - Synthese 134 (1-2):119 - 158.
Some Solved and Unsolved Remainder Equations.Sven Ove Hansson - 1995 - Mathematical Logic Quarterly 41 (3):362-368.
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
Explanatory Proofs and Beautiful Proofs.Marc Lange - unknown
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.

Analytics

Added to PP
2018-03-10

Downloads
5 (#1,545,527)

6 months
2 (#1,206,262)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references