Search academic resources

Subjects / keywords: CHURCH, ALONZO; PRINCETON UNIVERSITY PRESS; 511.3 CH561i

ABSTRACT We review Danielle Macbeth's book Realizing Reason, published by Oxford University Press in 2014. This extensive book is composed by nine chapters in which Macbeth critically presents the development of mathemat...

It is a trivial fact that if we have a square table filled with numbers, we can always form a column which is not yet contained in the table. Despite its apparent triviality, this fact can lead us the most of the path-br...

Abstract In this paper we present novel conceptions of identity arising in and motivated by a recently emerged branch of mathematical logic, namely, Homotopy Type theory (HoTT). We consider an established 2013 version of...

Fil: Ferreirós, José. Universidad de Sevilla. Departamento de Filosofía y Lógica; España. El logicismo suele figurar de modo estándar en los manuales como una de las principales alternativas en la fundamentación d...

Uno de los problemas más interesantes en la teoría lógica actual radica en la determinación de la caracterización formal de la negación y su relación con el lenguaje natural. En el presente trabajo nos proponemos ...

The paper is a basis for multiagent visual computing with the Morph Gentzen logic. A basis to VR computing, computational illusion, and virtual ontology is presented. The IM_BID model is introduced for planning, spatial ...

Abstract Together with ‘On Computable Numbers’, ‘Computing Machinery and Intelligence’ forms Turing’s best-known work. This elegant and sometimes amusing essay was originally published in 1950 in the leading ph...

This paper deals with the spatial prediction in Geostatistics. This paper depend on interpellation methods of spatial statistic (ordinary kriging technique) to combination with fuzzy logic under uncertainty for spatial d...

Abstract We review Ferreirós and Lassalle Casanave's recently publishedbook "El árbol de los números". The book is a result of the Brazilian-Spanish conference "Sobre la elucidación del concepto de número: cognició...

Abstract This paper presents an elucidation of Kant’s notion of judgment, which clearly is a central challenge to the understanding of the Critic of Pure Reason, as well as of the Transcendental Idealism. In contrast t...

In this paper, we explore the concept of mutually unbiased bases (MUBs) in discrete quantum systems. It is known that for dimensions d that are powers of prime numbers, there exists a set of up to d+1 bases that form an ...

The rapid development of information technology has fueled an ever-increasing demand for ultrafast and ultralow-energy-consumption computing. Existing computing instruments are pre-dominantly electronic processors, which...

Introduction According to modern scholars (N. Maslova, B. Astafiev), one of the important reasons for the global planetary crisis, including modern educational system in particular, is violation of the conformity of natu...

Integral calculus is a course where students tend to have difficulties in problem-solving. This study examines differences in mathematical beliefs in students' problem-solving skills based on mathematics prior knowledge....

Amid the convergence of technological, macroevolutionary, and demographic singularities, conventional approaches to analyzing and forecasting economic growth are increasingly losing relevance and predictive power. The su...

Abstract In Metaphysics M.2, 1077a9-14, Aristotle appears to argue against the existence of Platonic Forms on the basis of there being certain universal mathematical proofs which are about things that are ‘beyond’ th...

 The paper highlights the challenges of establishment and characteristics of educational institutions functioning in the highlands. It is analyzed the work of preparatory groups that are meant to replace kindergartens i...

Abstract This paper argues that embryonic development is best understood through the lens of process philosophy rather than traditional substance metaphysics. Drawing on both contemporary developmental biology and proces...

Literature revealed the benefits of different instruments for the development of mathematical competence, problem solving, self-regulated learning, affective-motivational aspects and intervention in students with specifi...