PhilSci Archive

Foundations of Applied Mathematics I

Ketland, Jeffrey (2020) Foundations of Applied Mathematics I. [Preprint]

This is the latest version of this item.

[img]
Preview
Text
App_Math_1.pdf

Download (1MB) | Preview

Abstract

This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: $\ZFCA_{\sigma}$ (Zermelo-Fraenkel set theory (with Choice) with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Ketland, Jeffreyjeffreyketland@gmail.com0000-0002-5128-4387
Additional Information: Penultimate draft. Forthcoming in Synthese
Keywords: Set theory with atoms; applicability of mathematics
Subjects: Specific Sciences > Mathematics > Applicability
Specific Sciences > Mathematics > Logic
General Issues > Structure of Theories
Depositing User: Dr Jeffrey Ketland
Date Deposited: 05 Dec 2020 16:37
Last Modified: 05 Dec 2020 16:37
Item ID: 18489
Subjects: Specific Sciences > Mathematics > Applicability
Specific Sciences > Mathematics > Logic
General Issues > Structure of Theories
Date: 23 November 2020
URI: https://philsci-archive.pitt.edu/id/eprint/18489

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item