Results 251 to 260 of about 5,380,639 (293)

THE THEORY OF AFFINE CONSTRUCTIBLE SETS

Mathematical Logic Quarterly, 1983
As it is well known, some problems of algebraic geometry can be translated into problems of pure algebra (by using the polynomials). But the polynomials also provide a primitive logic which describes structural features. The aim of this paper is to study constructible sets and the foundations of algebraic geometry from the point of view of the ...
openaire   +2 more sources

The Constructibility Theory

2003
Abstract In investigating the reasons Shapiro and Resnik have proposed for being realists (with respect to the “parts” or “positions” in structures), I have con centrated thus far on the positive reasons these philosophers have given for believing in mathematical objects.
openaire   +1 more source

THEORY-CONSTRUCTION AND THEORY-TESTING

The British Journal for the Philosophy of Science, 1958
I wish to defend 'the dictionary view' of scientific theories against Miss Hesse's attack and to argue that she has insufficiently considered her assertion that phenomenal statements do not 'constitute a basic empirical language which is independent of all theory'.
openaire   +1 more source

Constructive Induction in Theory Refinement

1991
Abstract This paper presents constructive induction techniques recently added to the EITHER theory refinement system. These additions allow EITHER to handle arbitrary gaps at the “top,― “middle,― and/or “bottom― of an incomplete domain theory. Intermediate concept utilization employs existing rules in the theory to derive higher-level features for ...
Raymond J. Mooney, Dirk Ourston
openaire   +1 more source

Computability in constructive type theory

2022
Wir behandeln eine formalisierte und maschinengeprüfte Betrachtung von Berechenbarkeitstheorie im Calculus of Inductive Constructions (CIC), der konstruktiven Typtheorie die dem Beweisassistenten Coq zugrunde liegt. Wir entwickeln erst synthetische Berechenbarkeitstheorie, vorbereitet durch die Arbeit von Richman, Bridges und Bauer, wobei alle ...
openaire   +2 more sources

Construction of Theories

1977
It is sometimes said that the purpose of scientific cognition is not only to formulate and substantiate individual propositions or to verify hypotheses, and then to apply the verified propositions in order to explain and predict phenomena, but also to construct and verify theories.
openaire   +1 more source

A Perspectivist Approach to Theory Construction

Personality and Social Psychology Review, 2004
A perspectivist approach is taken to the theory-construction process in psychological research. This approach assumes that all hypotheses and theories are true, as all are false, depending on the perspective from which they are viewed, and that the purpose of research is to discover which are the crucial perspectives.
openaire   +2 more sources

Theories of Constructions

1998
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire   +1 more source

Doubling Constructions in Lattice Theory

Canadian Journal of Mathematics, 1992
AbstractThis paper examines the simultaneous doubling of multiple intervals of a lattice in great detail. In the case of a finite set of W-failure intervals, it is shown that there in a unique smallest lattice mapping homomorphically onto the original lattice, in which the set of W-failures is removed.
openaire   +1 more source

Constructive Category Theory

2000
Gérard P. Huet, Amokrane Saïbi
openaire   +2 more sources