Search Sciweavers | Sciweavers

5510 search results - page 126 / 1102

» Mathematics

117

Voted

CORR
2004
Springer

82views Education» more CORR 2004»

Towards a Mathematical Theory of the Delays of the Asynchronous Circuits

15 years 3 months ago

Download serban_e_vlad.voila.net

The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting p...

Serban E. Vlad

claim paper

Read More »

click to vote

BSL
2000

67views more BSL 2000»

Does mathematics need new axioms?

15 years 3 months ago

Download math.stanford.edu

Solomon Feferman, Harvey M. Friedman, Penelope Mad...

claim paper

Read More »

121

Voted

BSL
2002

113views more BSL 2002»

Types in logic and mathematics before 1940

15 years 3 months ago

Download www.cfh.ufsc.br

Abstract. In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

claim paper

Read More »

Voted

COGSCI
2000

50views more COGSCI 2000»

Solving inductive reasoning problems in mathematics: not-so-trivial pursuit

15 years 3 months ago