Thematic
Church’s thesis
An algorithm or mechanical procedure A is said to ‘compute’ a function f if, for any n in the domain of f, when given n as input, A ...
Search Results 1 - 3 of 3. Results contain 17 matches
Thematic
Second-order logic, philosophical issues in
Typically, a formal language has variables that range over a collection of objects, or domain of discourse. A language is ‘second-order’ if it has, in addition, variables that ...
2
Thematic
Structuralism in the philosophy of mathematics
Define a system to be a collection of objects with certain relations. A basketball defence is a system of people under various positioning and defence-role relations; an ...