This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
Tags
LW
Login
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