CONSTRUCTIVISM IN MATHEMATICS

By C. McCarty. 2009

170 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/9f8bc28eeeafafbddba79ef4660a7f7366eeda21

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Michael Rathjen

In Computational Theory and Mathematics

1. Michael Rathjen

In Molecular Biology

1. Michael Rathjen

Citations in the corpus

• Realizability for Constructive Zermelo-Fraenkel Set Theory (2007, methodology): “A particularly general and elegant approach to realizability builds on structures which have been variably called partial combinatory algebras, applicative structures, or Schönfinkel algebras.”