GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Similarity between logic notation and partial orders

#34

· tannerlegvold opened

on Mar 12, 2024

More Mathematics SE suggestions

#33

· tannerlegvold opened

on Dec 29, 2022

Number Systems

#32

· tannerlegvold opened

on Mar 28, 2022

Typo

#31

· lorenzogatti opened

on Oct 23, 2021

Terry Tao MathOverflow question "What are the benefits of writing vector inner products as ⟨𝑢,𝑣⟩ as opposed to 𝑢𝑇𝑣?"

#29

· angelamzhou opened

on Aug 11, 2020

Alan Turing's paper on revising mathematical notation

#28

· jasonhemann opened

on Jan 31, 2020

Talks from Gerry Sussman and Guy Steele on notation in PL and mathematics

#27

· jasonhemann opened

on Nov 22, 2019

Aaronson's "Who Can Name the Bigger Number?"

#26

· jasonhemann opened

on Nov 22, 2019

Structure and Interpretation of Classical Mechanics is a broken link

#25

· kozross opened

on Dec 12, 2018

Maxwell's paper introducing physical names for common mathematical operators

#24

· fenollp opened

on Aug 26, 2018

LoF and Charles Sanders Peirce monograph

#23

· neocris opened

on Aug 21, 2018

Programming

#22

· roblogic opened

on Jul 30, 2018

0