GitHub topics: mathematical-logic

Repositories

mrthinhdd6/erdosproblems

🧩 Build a community database for Erdős problems, linking them to integer sequences and the OEIS for better access and collaboration.

Language: Python - Size: 1.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

martinberger/hol-c

A proof-of-concept LCF-style interactive theorem prover for HOL(C)

Language: Scala - Size: 151 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 4 - Forks: 1

AICardiologist/FoundationRelativity

Foundation-Relativity: Lean 4 formalization of constructive vs classical mathematics. Complete ρ-hierarchy proofs showing how pathologies require specific logical principles (WLPO, DC_ω, DC_{ω+1}).

Language: Lean - Size: 47.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0

praisetompane/mathematics

An attempt at unpacking Mathematics and its creation/discovery in layman's terms.

Language: Python - Size: 1.51 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 0

rhoseininaveh/rhoseininaveh.github.io

Rouholah Hoseini Naveh

Language: TeX - Size: 17.2 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

PriyanshuKSharma/quantum-cloud-integration Fork of Neha-Gaikwad/quantum-cloud-integration

The potential impact of quantum computing on cloud storage through hybrid cloud-quantum systems is an emerging area with promising implications for data security, processing, and storage efficiency.

Language: TeX - Size: 13.1 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 1

advancedresearch/path_semantics

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

Language: Rust - Size: 101 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 173 - Forks: 11

hjbolus/Mathematical-Logic-Through-Python

Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski

Language: Python - Size: 568 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 3

minakshihub/P-VS-NP-SUBSET-SUM

An structured attempt at a Polynomial -Time Solution to the NP-complete Subset Sum Problem.

Language: TeX - Size: 997 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

DigitalFormalLogic/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

Language: Python - Size: 1.23 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 25 - Forks: 2

Mk9207/Constructive-Proofs-of-Goldbach-Bertrand-and-Catalan-Conjectures-

構成的素数構造（6n±1）と除去関数により、Goldbach予想・Bertrand仮説・Catalan予想を共通基盤から再構成。非構成的証明とも形式整合し、論理強度と実行再現性の両立を実現。GitHubにて統合証明パッケージとして公開。 Using the 6n±1 prime structure and composite exclusion, we reconstruct and unify constructive proofs of Goldbach, Bertrand, and Catalan conjectures, demonstrating formal alignment with classical non-constructive methods.

Language: Python - Size: 32.2 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

rzach/forallx-yyc Fork of OpenLogicProject/forallx-cam

UCalgary version of forallx, an introduction to formal logic

Language: TeX - Size: 1.58 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 108 - Forks: 35

Inferara/inferara.com

Inferara official website

Language: HTML - Size: 2.13 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 1 - Forks: 2

Mk9207/Constructive-Unified-Proof-Principle-

A compositional theory that unifies the proof of unsolved problems, AI structure, medical control, and physical modeling using a single constructive function C(x). 単一の構成関数C(x)により、未解決問題、AI構造、医療制御、物理モデルを統一的に証明・構成する理論です。

Size: 0 Bytes - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Mk9207/Constructive-Existential-Quantization-Hypothesis-

A foundational theory redefining "existence" as quantizable via constructive logic. Applicable to AI cognition, encryption, quantum memory, and beyond. 構成的論理により「存在」を量子化可能な単位として再定義。AI認知・暗号・量子記憶など幅広い応用を想定した基礎理論です。

Size: 39.1 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

choukh/agda-googology

formalized googology in agda

Language: CSS - Size: 3.72 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

cedrati/Cedra

The Cedra Constant: A novel mathematical constant with remarkable properties

Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

xamidi/pmGenerator

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

Language: C++ - Size: 45.4 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 21 - Forks: 3

a2435191/lean-logic-formalization

Formalize "Logic Notes" by Lou van den Dries in Lean

Language: Lean - Size: 119 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 11 - Forks: 0

Cubix1729/logicalpy

A Python library providing basic functionalities for manipulating propositional logic

Language: Python - Size: 1.07 MB - Last synced at: 10 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

angha-varangaonkar/Leetcode-Practise

This repository is committed to solving one LeetCode question daily and uploading the solution here.

Language: Java - Size: 19.5 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

Fab2bprog/Xojo-Prime-Number-Generator

Xojo Prime number generator with Atkin and Erastosthene sieve algorithm

Language: Xojo - Size: 47.9 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

joom/hezarfen 📦

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

Language: Idris - Size: 48.8 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 120 - Forks: 3

kt3k/lk-proto

Prototyping proof verifier system, nothing working yet

Language: TypeScript - Size: 4.88 KB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Akash-Sharma-1/DNF-Generator

A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.

Language: Python - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

SReichelt/slate

The Slate Interactive Theorem Prover

Language: TypeScript - Size: 7.5 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 24 - Forks: 2

FlorentCLMichel/Theorie_Ensembles_Arithmetique

Some notes on the basics of Mathematical logic, set theory, and arithmetic (in French).

Language: TeX - Size: 93.4 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

adyavanapalli/stanford-introduction-to-mathematical-thinking

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

Size: 8.57 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 112 - Forks: 30

emarzion/SystemT

An interpreter for Gödel's System T

Language: Haskell - Size: 2.55 MB - Last synced at: 5 months ago - Pushed at: over 8 years ago - Stars: 12 - Forks: 0

YXlh-64/ENSIA-2PC

This repository is designed to provide all the necessary resources for the second year preparatory cycle at ENSIA.

Language: Jupyter Notebook - Size: 367 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 0

MarinosSav/Schnapsen_Card_Game_Bot

Experimenting with intelligent agents utilizing a variety of different algorithmic methods to develop an expert level bot for the card game of Schnapsen.

Language: Python - Size: 545 KB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

choukh/agda-veblen

veblen function in agda

Language: Agda - Size: 182 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

DevOpsThinh/Coding-Deep-Learning

A self-taught project about Machine Learning & Deep Learning with Python. Thanks to the countless researchers and developers around the world and their open-source code, particularly Python-based open-source code!

Language: Python - Size: 595 MB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0

choukh/MetaLogic

first-order logic and set theory

Language: Agda - Size: 616 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

dimglyn/propositional-logic

Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic

Language: Java - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1

rindeal/BI-MLO

BI-MLO Quick Reference

Language: HTML - Size: 2.18 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

HussainAther/mathematics

algebra, differential equations, calculus, statistics, probability

Language: Python - Size: 22.6 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

Nagisanopan/USTC_2023Spring_MathematicalLogic_HW

USTC 2023春季学期数理逻辑基础许杨班课程作业考试资料

Size: 0 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

arturania/human-logic

Human Logic

Language: TypeScript - Size: 708 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 1

nabilBouzineDev/BMICalculator

A simple demo project to help you practice some Android fundamentals using Kotlin

Language: Kotlin - Size: 187 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

miyamok/epsilonproofchecker

Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus

Language: Haskell - Size: 407 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Ojaswy/Numerical-Methods

Contains C-program files for Numerical Methods/Analysis

Language: C - Size: 52.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

SReichelt/slate-hlm

HLM mathematical library for the Slate interactive theorem prover

Language: Shell - Size: 1.85 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

AlgebraicWolf/idris2-russel

Implementation of Russel paradox in Idris 2

Language: Idris - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

Elisabete-MO/projeto-regra-progressao

Projeto Regra de Progressão

Language: Java - Size: 130 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

norbert-acedanski/calculator

Old calculator of mine

Language: C++ - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

andrefilipemm/slotmachine_game

This project provides valuable insights into the mechanics of the slot machine and showcases the power of combinatorial analysis and Python programming for simulating and studying such systems.

Language: Jupyter Notebook - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

mireashik/mathlogic_2sem

Математическая логика и теория алгоритмов (автоматов), 2 семестр, РТУ МИРЭА

Size: 47.9 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

SudipSinha/writings

Most of my writings — notes, talks, travelogues, thoughts, and the rest

Language: TeX - Size: 12.4 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

moratori/clover

A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

Language: Common Lisp - Size: 443 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

CallumBeaney/Symbolic-Notation-Converter

A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]

Language: JavaScript - Size: 95.7 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

pankajkumarravi/programming-fundamantal

This repo contains Basic programming practice code from different platform like Hackerrank,GFG, ..........

Language: Java - Size: 851 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

anatoly-gz/itmo-math-logic

Toolkit for parsing, analyzing and proving logical expressions/statements with Java

Language: Java - Size: 183 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

jeremarques/calculator-of-second-degree-equation

This is a great tool for students, this calculator shows the value of the roots of the 2nd degree equation from the Bhaskara Formula, and it also calculates the value of Delta and tells if the roots are real, irrational or equal from the value of the Delta of the equation.

Language: JavaScript - Size: 82 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0