AnointedAutomation.Mathematics
1.0.1
dotnet add package AnointedAutomation.Mathematics --version 1.0.1
NuGet\Install-Package AnointedAutomation.Mathematics -Version 1.0.1
<PackageReference Include="AnointedAutomation.Mathematics" Version="1.0.1" />
<PackageVersion Include="AnointedAutomation.Mathematics" Version="1.0.1" />
<PackageReference Include="AnointedAutomation.Mathematics" />
paket add AnointedAutomation.Mathematics --version 1.0.1
#r "nuget: AnointedAutomation.Mathematics, 1.0.1"
#:package AnointedAutomation.Mathematics@1.0.1
#addin nuget:?package=AnointedAutomation.Mathematics&version=1.0.1
#tool nuget:?package=AnointedAutomation.Mathematics&version=1.0.1
AnointedAutomation.Mathematics
A .NET library holding a curated catalog of laws, theories, and conjectures of mathematics and physics, modeled through the AnointedAutomation.Concepts epistemics engine.
Overview
AnointedAutomation.Mathematics expresses well known mathematical and physical claims as FoundationalClaim and Proposition instances, each carrying a domain, a testability, a survived falsification weight, and an epistemic status. Bedrock laws (non-contradiction, causality, conservation of energy), contested theories (mass energy equivalence, invariant light speed), and open conjectures (Collatz, Goldbach, the Riemann hypothesis) all sit on the same ledger, distinguished honestly by how much falsification they have survived rather than by decree.
Installation
Install via NuGet:
dotnet add package AnointedAutomation.Mathematics
Features
- UniversalPropositions: the shared vocabulary of propositions the catalogs assert or deny
- UniversalLaws: bedrock foundational claims with status
Law, including non-contradiction, identity, excluded middle, causality, conservation of energy, and entropy increase - PhysicalTheories: well supported but still contested claims with status
Theory, including mass energy equivalence and invariant light speed - Conjectures: unproven claims with status
Conjectureand zero survived falsification weight, including the Collatz conjecture, Goldbach's conjecture, and the Riemann hypothesis - No external dependencies beyond AnointedAutomation.Concepts: the catalog is pure data built on the epistemics engine
Namespaces
AnointedAutomation.Mathematics- Universal propositions, universal laws, physical theories, and conjectures
License
Copyright © 2023 Anointed Automation, LLC. All rights reserved.
Author
Stewarded by Alexander Fields GitHub: https://github.com/AnointedAutomation Part of the Anointed family of ventures.
Support This Project
This library is free and open source. The best way to support the work is to shop with us:
- Christian items: https://store.anointed.company
- Everything else: https://www.mart.club
| Product | Versions Compatible and additional computed target framework versions. |
|---|---|
| .NET | net10.0 is compatible. net10.0-android was computed. net10.0-browser was computed. net10.0-ios was computed. net10.0-maccatalyst was computed. net10.0-macos was computed. net10.0-tvos was computed. net10.0-windows was computed. |
-
net10.0
- AnointedAutomation.Concepts (>= 1.0.2)
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.