Strict Finitism and the Logic of Mathematical Applications

Overview of attention for book

Cover of 'Strict Finitism and the Logic of Mathematical Applications'

Table of Contents

Attention for Chapter 3: Calculus

Altmetric Badge

Citations

dimensions_citation: 22 Dimensions

Summary Dimensions citations

So far, Dimensions has found 22 publications that cite this research output.

22

The most recent citing publications are shown below. View all 22 publications that cite this research output on Dimensions.

Completely Discretized, Finite Quantum Mechanics

Article in Foundations of Physics (November 2023)

Extraction of a computer-certified SMT solver for nonlinear theories

Conference proceeding (July 2023)

Uncomputabilities, Games, Axioms, Proofs and Artificial Intelligence

Book chapter (February 2023)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.