Results 51 to 60 of about 555,393 (246)

Arithmetical conservation results

, 2017
In this paper we present a proof of Goodman's Theorem, a classical result in the metamathematics of constructivism, which states that the addition of the axiom of choice to Heyting arithmetic in finite types does not increase the collection of provable ...
Aczel, Beeson, Beeson, Benno van den Berg, Coquand, Feferman, Feferman, Goodman, Goodman, Gordeev, Hunter, Kohlenbach, Kohlenbach, Kohlenbach, Kohlenbach, Kreisel, Lotte van Slooten, Martin-Löf, Martin-Löf, Mints, Renardel de Lavalette, Schweber, Schwichtenberg, Troelstra, Troelstra, Troelstra, van Oosten, van Oosten, van Slooten   +28 more
core   +1 more source

Dissipative Heat Impact on the Non‐Newtonian Walter's B Nanoliquid Over an Elongating Surface Through a Permeable Medium

Asia-Pacific Journal of Chemical Engineering, EarlyView.
ABSTRACT The utilisation of viscoelastic Walter's B nanoliquid in engineering and biomedical applications gained substantial attention because of its ability to provide real‐time fluid behaviour, particularly in the heat flow mechanism. In particular, the flow of viscoelastic fluid over an elongating surface is useful in polymer processing and ...
Laxmipriya Swain, Subhajit Panda, S. R. Mishra, Rupa Baithalu   +3 more
wiley   +1 more source

Preparing Teachers to ‘Teach’ Philosophy for Children

Journal of Philosophy in Schools, 2014
Like many others, I have resisted the idea that education, in general, is a form of training. We always talk about training for something, while an educated person is not educated for any one thing.
Laurance J Splitter
doaj   +1 more source

An Alternative Approach to Spontaneous Photon Triplets Generation

Advanced Physics Research, EarlyView.
Day by day, communication and computing technologies are progressing at a lightning speed, which is particularly true of the quantum version of these technologies (QIST). Increasingly, these technologies are emerging from unusual and sometimes bewildering quantum optical effects, which are based on exotic quantum physical theories.
Serge Gauvin
wiley   +1 more source

On Martin-Löf’s Constructive Optimism

Studia Semiotyczne, 2020
DOI: http://doi.org/10.26333/sts.xxxiv1.10 In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. The view that there
V. Alexis Peluce
doaj  

A Primer on the Tools and Concepts of Computable Economics [PDF]

, 2004
Computability theory came into being as a result of Hilbert's attempts to meet Brouwer's challenges, from an intuitionistc and constructive standpoint, to formalism as a foundation for mathematical practice.
Velupillai, K. Vela
core   +1 more source

Functional models from limited data: A parametric and multimodal approach to anatomy and 3D kinematics of feeding in basking sharks (Cetorhinus maximus)

The Anatomical Record, EarlyView.
Abstract Basking sharks, Cetorhinus maximus (Gunnerus, Brugden [Squalus maximus], Det Kongelige Norske Videnskabers Selskabs Skrifter, 1765, vol. 3, pp. 33–49), feed by gaping their mouths and gill slits, greatly reorienting their cranial skeletons to filter food from water.
Tairan Li, Mike Schindler, Martha Paskin, Venkata A. Surapaneni, Elliott Scott, Sabine Hauert, Nicholas Payne, David E. Cade, Jeremy A. Goldbogen, Frederik H. Mollen, Daniel Baum, Sean Hanna, Mason N. Dean   +12 more
wiley   +1 more source

New techniques for old bones: Morphometric and diffeomorphometric analysis of the bony labyrinth of the Reilingen and Ehringsdorf Neandertals

The Anatomical Record, EarlyView.
Abstract Neandertals are known to possess very distinctive traits in their bony labyrinth morphology, such as an inferiorly positioned posterior canal and a very low number of turns in the cochlea. Hence, the inner ear has been often used to assess the Neandertal status of fragmentary fossils.
Alessandro Urciuoli, Julia Diez‐Valero, Ignacio Martínez, Rolf Quam, Brian A. Keeling, Nicole M. Webb, Mercedes Conde‐Valverde   +6 more
wiley   +1 more source

Developmental changes and gender effects on motivational constructs based on the expectancy-value model in Czech and US students regarding learning of science, mathematics, and other subjects

, 2018
This study employed American and Czech student samples to investigate the motivational constructs used in Eccles and Wigfield's (1983) expectancy-value model. To predict achievement behavior, the model specifies relationships among expectancy for-success and task value, task-specific self-concept, perception of task-difficulty, perceptions of social ...
openaire   +3 more sources

Kriesel and Wittgenstein [PDF]

, 2019
Georg Kreisel (15 September 1923 - 1 March 2015) was a formidable mathematical logician during a formative period when the subject was becoming a sophisticated field at the crossing of mathematics and logic.
Kanamori, Akihiro
core