|
Computer program - Wikipedia, the free encyclopedia (605 words) |
 | Software programs (collections of programs and related resources) are most frequently referred to as applications by end-users, as these people are focused on the abilities of application software (application programs) rather than system software. |
| The source code of a program is often treated as being different from the data it operates on. |
| In some cases this distinction is blured with programs creating, or modifying data, which is subsequently executed as part of the same program (this is a common occurrence for programs written in Lisp). |
| Hilbert's Program (7534 words) |
| The new picture of the program was this: Classical mathematics is to be formalized in a system which includes formalizations of all the directly verifiable (by calculation) propositions of contentual finite number theory. |
| Hilbert's proof theoretic program can then be seen to be a search for a proof theoretic reduction of all of mathematics to finitary mathematics; in a relativized program one looks for reductions of theories weaker than all of classical mathematics to theories often stronger than finitary mathematics. |
| The program of so-called reverse mathematics developed by, in particular, Friedman and Simpson, is another continuation of Hilbert's program. |
Feeds |
Contact