Rust mathematical-logic

Open-source Rust projects categorized as mathematical-logic
Edit details
Topics: Research type-theory
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Rust mathematical-logic Projects

  • path_semantics

    A research project in path semantics, a re-interpretation of functions for expressing mathematics

    • Project mention: What do we mean by "the foundations of mathematics"? | news.ycombinator.com | 2023-11-01

    In mathematics, the roof holds up the building, not the foundation. Since humans use mathematics a lot, we design foundations to our specific needs. It is not the building we are worried about, we just want better foundations to create better tools.

    Not only are we going to treat mathematics as subjective, but also having formal theories that reason about different notions of subjectivity. https://crates.io/crates/joker_calculus

    > Could our conception of paradox be itself primal, and perhaps, in some plane, could it be something ranking higher, of first-class?

    Yes! Paradoxes are statements of the form `false^a` in exponential propositions. https://crates.io/crates/hooo

    > Also, I’ve been thinking, recently, on the role of time in structures. There can’t possibly be any structure whatsoever without time, or, more concretely, at least the memory of events, recollecting distinctive and contrasting entropic signatures. So, mathematics manifesting as, of, and for structure, wouldn’t it require, first and foremost, a treatment from physics? Regular or meta?

    Path semantical quality models this relation, where you have different "moments" in time which each are spaces for normal logical reasoning. Between these moments, there are ways to propagate quality, which is a partial equivalence. https://github.com/advancedresearch/path_semantics

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Rust mathematical-logic related posts

  • What do we mean by "the foundations of mathematics"?

    2 projects | news.ycombinator.com | 1 Nov 2023

  • The Prop challenge has been solved

    6 projects | /r/rust | 4 Nov 2022

  • Prop v0.21 released! Experimental support for homotopy levels (propositional theorem proving in Rust)

    2 projects | /r/rust | 22 Feb 2022

  • Prop v0.8 released! Propositional theorem proving in Rust (Logic)

    7 projects | /r/rust | 14 Jan 2022

  • Catuṣkoṭi Communication - An intuitive explanation of Cubical Binary Codes in the AML Catuṣkoṭi bridge

    1 project | /r/logic | 6 Apr 2021

  • Answered Modal Logic Catuṣkoṭi - Building a bridge between two esoteric 4-value logics using intuition of quantum measurements

    1 project | /r/logic | 31 Mar 2021

  • Answered Modal Logic CatuṣkoṭI [pdf]

    1 project | news.ycombinator.com | 31 Mar 2021
  • A note from our sponsor - SaaSHub
    www.saashub.com | 5 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

Project Stars
1 path_semantics 160

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com