📐 Mathematical Logic - bassam_exe · Scour

The monstrous number sequences that break the rules of mathematics 📊Mathematics

newscientist.com·6d·Hacker News

Linkage 🔢Homomorphic Encryption

11011110.github.io·9h

Vector, the Journal of the British APL Association ⚛️Quantum Computing

web.archive.org·1d·Hacker News

Department of Mathematics 📊Mathematics

news.csun.edu·7h

Crash Course on Notation in Programming Language Theory ✅Formal Verification

siek.blogspot.com·3d·r/programming

Barriers to Universal Reasoning With Transformers (And How to Overcome Them) 🔢Homomorphic Encryption

Soundness Failures in LaBRADOR Implementations from NTT -Friendly Rings ✅Formal Verification

blog.zksecurity.xyz·20h·Hacker News, r/crypto

The Case Against Geometric Algebra 📊Mathematics

alexkritchevsky.com·2d

applications of (higher) category theory in nLab ✅Formal Verification

ncatlab.org·4d

Can Aristotle's theory of infinity be made consistent with Christian theology? 🌐Complex Systems

larrysanger.org

·2d

Metaphysics of Thinging Machines Modeling 🌐Complex Systems

philsci-archive.pitt.edu·11h

std::find_if_not (3) Linux Manual Page ✅Formal Verification

systutorials.com·1d

On This Day in Math 📊Mathematics

pballew.blogspot.com·23h·Blogger

SEXUATED TOPOLOGY AND THE SUSPENSION OF MEANING A NON-HERMENEUTICAL PHENOMENOLOGICAL APPROACH TO TEXTUAL ANALYSIS WILLIAM J. URBAN 🗣️Linguistics

swingtradesystems.com·4d

Every algorithm is a natural number. Hilbert's hotel has room for all of them 📊Mathematics

darkomulej.substack.com·1d·Substack

Improving algebraic understanding using history of mathematics: the case of structural reasoning in cubic equations 📊Mathematics

frontiersin.org·21h

Completeness of qufinite ZXW calculus, a graphical language for finite-dimensional quantum theory ⚛️Quantum Computing

The fall of the theorem economy (David Bessis) 📊Mathematics

lesswrong.com·1d

Axiomism: A Developer's Perspective on the Foundation of Reality 🌐Complex Systems

github.com·1d·Hacker News

Mathematics and Empiricism 📊Mathematics

lesswrong.com·6d

Log in to enable infinite scrolling