D.E. Stevenson  Home/Search
Context Related
| clemson.edu/~steve/./probsl.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: clemson.edu/~steve/resint (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The goal of foundational thinking in computer science is to understand the methods and practices of working programmers; we might even be able to improve upon those practices. The investigation outlined here applies the methods of constructive mathematics 'a l`a A. N. Kolmogoroff, L. E. J. Brouwer and Errett Bishop to contemporary computer science. The major approach is to use Kolmogoroff's interpretation of the predicate calculus. This investigation includes an attempt to merge contemporary... (Update)
Cited by: More
A Critical Look at Design, Verification, and Validation of Large .. - Stevenson (Correct)
Active bibliography (related documents): More All
0.9: The Constructive Foundations of the System eb - Stevenson (1996) (Correct)
0.7: Science, Computational Science and Computer Science: At a.. - Stevenson (1993) (Correct)
0.6: A Constructive Theory of Euclidean Geometry: The first.. - Stevenson (1995) (Correct)
Similar documents based on text: More All
0.3: What Does Euclid Have To Say About The Foundations Of Computer.. - Stevenson (Correct)
0.1: Relationships between Constructive, Predicative and Classical.. - Feferman (1997) (Correct)
0.1: Abstracts: Constructivity, Complexity, and Fuzziness (CCF '99) - Bridges, Calude, (eds.) (1999) (Correct)
Related documents from co-citation: More All
2: Computer Arithmetic in Theory and Practice (context) - Kulisch, Miranker - 1981
2: A bibliography of simulation (context) - Balci, Sargent - 1984
2: Transactions of the society for computer simulation (context) - Balci, simulation et al. - 1997
BibTeX entry: (Update)
D. E. Stevenson. What is computational knowledge and how do we acquire it? submitted to Synthese. http://citeseer.ist.psu.edu/74678.html More
@misc{ stevenson-what,
author = "D. Stevenson",
title = "What is computational knowledge and how do we acquire it",
text = "D. E. Stevenson. What is computational knowledge and how do we acquire
it? submitted to Synthese.",
url = "citeseer.ist.psu.edu/74678.html" }
Citations (may not include all citations):505 Implementing Mathematics with the NuPrl Proof Development Sy.. - Constable - 1986
224 Semantics of Programming Languages: Structures and technique.. (context) - Gunter - 1992
223 The Structure of Scientific Revolutions (context) - Kuhn - 1970
143 Foundations of Constructive Mathematics (context) - Beeson - 1985
128 Logic and computation : interactive proof with Cambridge LCF (context) - Paulson - 1987
75 Constructive Analysis (context) - Bishop, Bridges - 1985
43 Three models for the description of language (context) - Chomsky - 1956
40 Type-Theoretical Grammar (context) - Ranta - 1994
21 Program verification: the very idea (context) - Fetzer - 1988
14 Mathematics as a numerical language (context) - Bishop - 1967
12 Zur Deutung der intuitionistischen Logik (context) - Kolmogoroff - 1932
12 and computer science: At a crossroads (context) - Stevenson, computational - 1994
12 Introduction to Logic (context) - Suppes - 1971
7 Introduction to Computability (context) - Hennie - 1977
5 Bishop and Douglas Bridges (context) - Errett - 1985
3 Computer Programming and Formal Systems (context) - McCarthy, for et al. - 1963
3 The principles of linguistic philosophy (context) - Waismann - 1965
3 Schizophrenia in contemporary mathematics (context) - Bishop - 1985
3 Number 95 in Lecture Notes in Mathematics (context) - Troelstra, Intuitionism - 1969
2 The crisis in contemporary mathematics (context) - Bishop - 1975
1 WHAT IS COMPUTATIONAL KNOWLEDGE AND HOW DO WE ACQUIRE IT (context) - Bishop, Constructive et al. - 1967
1 Principles of constructive euclidean geometry (context) - Stevenson
1 Random House (context) - Gould - 1995
1 Real Analysis (context) - Rudin - 1968
1 entscheidungsproglem (context) - Turing, numbers et al. - 1935
Documents on the same site (http://cyclone.cs.clemson.edu/~steve/resint.html): More
Software Engineering Frontiers in Computational Science and.. - Stevenson (1995) (Correct)
Science, Computational Science and Computer Science: At a.. - Stevenson (1993) (Correct)
W2c: A Wam To C Assembler - Stevenson (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC