LESSWRONGTags
LW

Logic & Mathematics

•

Applied to Hand-writing MathML by duck_master 15h ago

•

Applied to Logical Share Splitting by DaemonicSigil 13d ago

•

Applied to Interpreting a matrix-valued word embedding with a mathematically proven characterization of all optima by Joseph Van Name 19d ago

•

Applied to Why I Don't Believe The Law of the Excluded Middle by Thoth Hermes 1mo ago

•

Applied to Interpreting a dimensionality reduction of a collection of matrices as two positive semidefinite block diagonal matrices by Joseph Van Name 1mo ago

•

Applied to A Proof of Löb's Theorem using Computability Theory by MondSemmel 1mo ago

•

Applied to Learning as you play: anthropic shadow in deadly games by dr_s 1mo ago

•

Applied to The Case for Convexity by RobertM 1mo ago

•

Applied to Optimisation Measures: Desiderata, Impossibility, Proposals by mattmacdermott 2mo ago

•

Applied to When performing a dimensionality reduction on tensors, the trace is often zero. by Joseph Van Name 2mo ago

•

Applied to Does decidability of a theory imply completeness of the theory? by Noosphere89 2mo ago

•

Applied to Hilbert's Triumph, Church and Turing's failure, and what it means (Post #2) by Noosphere89 2mo ago

•

Applied to An Opinionated Guide to Computability and Complexity (Post #0) by Noosphere89 2mo ago

•

Applied to Are Bayesian methods guaranteed to overfit? by MondSemmel 2mo ago

•

Applied to Why you can't treat decidability and complexity as a constant (Post #1) by duck_master 2mo ago

•

Applied to mental number lines by duck_master 2mo ago

•

Applied to How necessary is intuition, for advanced math? by NicholasKross 2mo ago