๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Theory of Mathematical Correctness and Mathematical Truth

โœ Scribed by Mark Balaguer

Book ID
108555174
Publisher
John Wiley and Sons
Year
2001
Tongue
English
Weight
163 KB
Volume
82
Category
Article
ISSN
0279-0750

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Mathematical theory of partial correctne
Mathematical theory of partial correctness
โœ Zohar Manna ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 625 KB

In this work we show that it is possible to express most properties regularly observed in algorithms in terms of 'partial correctness' (i.e., the property that the final results of the algorithm, if any, satisfy some given input-output relation). This result is of special interest since 'partial cor

Benacerraf and Mathematical truth
Benacerraf and Mathematical truth
โœ Richard Creath ๐Ÿ“‚ Article ๐Ÿ“… 1980 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 296 KB
A mathematical theory of citing
A mathematical theory of citing
โœ Mikhail V. Simkin; Vwani P. Roychowdhury ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 329 KB ๐Ÿ‘ 2 views

## Abstract Recently we proposed a model in which when a scientist writes a manuscript, he picks up several random papers, cites them, and also copies a fraction of their references. The model was stimulated by our finding that a majority of scientific citations are copied from the lists of referen