RSS

beastaugh + mathematics   239

Invalid techniques of proof
mathematics  humour  logic 
26 days ago by beastaugh
Analytic versus Analytical Sets | MSE
notation  mathematics  arithmetic  analysis 
28 days ago by beastaugh
Prime Factorization Sweater
mathematics  arithmetic  humour 
28 days ago by beastaugh
Terence Tao: A cheap version of nonstandard analysis
nonstandardanalysis  modeltheory  mathematics 
4 weeks ago by beastaugh
Ideal (ring theory) - Wikipedia
algebra  mathematics 
5 weeks ago by beastaugh
Filter (mathematics) - Wikipedia
mathematics  topology  settheory  algebra  ordertheory 
5 weeks ago by beastaugh
Ideal (order theory) - Wikipedia
algebra  ordertheory  mathematics 
5 weeks ago by beastaugh
Overview of basic results on cardinal arithmetic
settheory  mathematics 
6 weeks ago by beastaugh
Jonathan Farley: Black mathematicians: the kind of problems they wish didn't need solving
mathematics  academia  racism  history 
6 weeks ago by beastaugh
What are the issues in modern set theory?
Great outline by JDH.
settheory  mathematics 
6 weeks ago by beastaugh
Tim Gowers: How to use Zorn’s lemma
mathematics  combinatorics  axiomofchoice  settheory 
6 weeks ago by beastaugh
What I Learned by Teaching Real Analysis
mathematics  analysis 
6 weeks ago by beastaugh
MAA review of Understanding Analysis by Stephen D. Abbott
mathematics  analysis 
6 weeks ago by beastaugh
Why Perelman refused the awards for his solution of the Poincaré conjecture
mathematics  academia  geometry 
7 weeks ago by beastaugh
Infinite finitely branching recursive tree with no path whose graph is $Delta^0_2$
computability  mathematics 
7 weeks ago by beastaugh
[1204.0299] Undecidable problems: a sampler
logic  mathematics 
7 weeks ago by beastaugh
M-Phi: Is arithmetic a necessary condition for Gödel incompleteness?
incompleteness  gödel  metamathematics  logic  mathematics  arithmetic 
7 weeks ago by beastaugh
Algebraic Topology Book
topology  algebra  book  mathematics 
7 weeks ago by beastaugh
Jeff Ketland: Proving Things
logic  mathematics 
8 weeks ago by beastaugh
What is the etymology of 'model'? - MathOverflow
history  mathematics  modeltheory  logic  tarski  gödel 
8 weeks ago by beastaugh
Emmy Noether, the Most Significant Mathematician You’ve Never Heard Of | NYT
algebra  women  biography  history  mathematics 
8 weeks ago by beastaugh
What are the most attractive Turing undecidable problems in mathematics? - MathOverflow
computability  mathematics 
8 weeks ago by beastaugh
Analytical hierarchy - Wikipedia
analysis  arithmetic  logic  mathematics  settheory 
11 weeks ago by beastaugh
Absoluteness - Wikipedia
mathematics  arithmetic  settheory 
11 weeks ago by beastaugh
Haskell for Maths: What is a Hopf algebra?
algebra  haskell  mathematics 
11 weeks ago by beastaugh
Hopf algebra - Wikipedia
algebra  mathematics 
11 weeks ago by beastaugh
FOM: renaming recursion theory
computability  humour  mathematics  harveyfriedman 
11 weeks ago by beastaugh
Naturalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)
mathematics  philosophyofmaths  naturalism 
12 weeks ago by beastaugh
Infinite mathematics as non-standard finite mathematics?
With a really nice answer from Joel Hamkins.
infinity  arithmetic  settheory  mathematics 
12 weeks ago by beastaugh
Irrationals Exist
numbertheory  mathematics 
12 weeks ago by beastaugh
"Completeness modulo Godel sentences"? And the Axiom of Determinacy.
settheory  incompleteness  mathematics 
12 weeks ago by beastaugh
Alfred Tarski (Stanford Encyclopedia of Philosophy)
tarski  logic  mathematics  modeltheory  truth  settheory 
12 weeks ago by beastaugh
Learning Mathematical Philosophy - Munich Center for Mathematical Philosophy (MCMP)
philosophy  mathematics  logic  philosophyofmaths  formalmethods 
12 weeks ago by beastaugh
Showing a set Sigma^0_n subset of N is Sigma^0_n-complete
mathematics  computability 
february 2012 by beastaugh
Are total recursive functions recursively enumerable?
computability  mathematics 
february 2012 by beastaugh
Harvey Friedman's manuscripts
reversemathematics  harveyfriedman  mathematics  prooftheory  incompleteness  philosophyofmaths 
february 2012 by beastaugh
Relating Category Theory to Programming Language Theory
haskell  categorytheory  mathematics  plt 
february 2012 by beastaugh
The mathematical equation that caused the banks to crash: Ian Stewart on the Black-Scholes equation
economics  finance  mathematics 
february 2012 by beastaugh
Folding -- from Wolfram MathWorld
mathematics  physics  paper  origami 
february 2012 by beastaugh
Mathematics of paper folding - Wikipedia
physics  mathematics  paper  origami 
february 2012 by beastaugh
Kleene's O - Wikipedia
ordinalnotation  ordinals  settheory  mathematics 
february 2012 by beastaugh
Ordinal collapsing function - Wikipedia
ordinalnotation  ordinals  settheory  mathematics 
february 2012 by beastaugh
Veblen function - Wikipedia
ordinalnotation  ordinals  mathematics  settheory 
february 2012 by beastaugh
Cantor normal form - Wikipedia
ordinalnotation  ordinals  settheory  mathematics 
february 2012 by beastaugh
Harold Simmons: A short introduction to ordinal notation systems
ordinals  ordinalnotation  settheory  mathematics 
february 2012 by beastaugh
Peter Hancock: Ordinal notation systems
ordinals  settheory  haskell  mathematics  ordinalnotation 
february 2012 by beastaugh
Dmytro Taranovsky: Ordinal Notation
ordinals  settheory  arithmetic  mathematics  notation  ordinalnotation 
february 2012 by beastaugh
Ordinal notation - Wikipedia
settheory  ordinals  mathematics  ordinalnotation 
february 2012 by beastaugh
Large countable ordinal - Wikipedia
settheory  ordinals  ordinalnotation  mathematics 
february 2012 by beastaugh
Peter Suber, "The Löwenheim-Skolem Theorem"
logic  mathematics  philosophy 
february 2012 by beastaugh
Kurt Gödel (Stanford Encyclopedia of Philosophy)
gödel  logic  mathematics  metamathematics  settheory  relativity  modeltheory  prooftheory  biography  philosophy  philosophyofmaths 
february 2012 by beastaugh
Tim Gowers: Abstract thoughts about online review systems
academia  publishing  journals  mathematics 
february 2012 by beastaugh
Good explanation of why 0^0 = 1
mathematics  arithmetic  exponentiation 
february 2012 by beastaugh
Tim Gowers: What’s wrong with electronic journals?
mathematics  journals  academia  publishing  openaccess 
january 2012 by beastaugh
[1201.4504] Is Turing's Thesis the Consequence of a More General Physical Principle?
computability  mathematics  turing 
january 2012 by beastaugh
[1201.4408] Computing Maximal Chains
mathematics  ordertheory  reversemathematics 
january 2012 by beastaugh
[1201.5509] Satisfaction relations for proper classes: Applications in logic and set theory
mathematics  settheory 
january 2012 by beastaugh
[1201.5597] The mate-in-n problem of infinite chess is decidable
settheory  mathematics 
january 2012 by beastaugh
[1201.5835] Sequence encoding without induction
mathematics  logic  arithmetic 
january 2012 by beastaugh
The man who hand-draws mathematical fractals
science  brain  mind  mathematics  fractals 
january 2012 by beastaugh
Tim Gowers: Proving the fundamental theorem of arithmetic
arithmetic  mathematics 
january 2012 by beastaugh
Tim Gowers: Why isn’t the fundamental theorem of arithmetic obvious?
arithmetic  mathematics 
january 2012 by beastaugh
Dividing 1 by 998001 yields all three-digit decimal strings
mathematics  arithmetic 
january 2012 by beastaugh
[math/0509244] Predicativity beyond Gamma_0
philosophyofmaths  predicativity  mathematics  foundations 
january 2012 by beastaugh
Tim Gowers: Elsevier — my part in its downfall
academia  mathematics  publishing  journals  openaccess 
january 2012 by beastaugh
The Algebra of Data, and the Calculus of Mutation
algebra  haskell  mathematics  functionalprogramming 
january 2012 by beastaugh
Ordinal Analysis of Peano Arithmetic with Restricted Induction - MathOverflow
mathematics  arithmetic  prooftheory 
december 2011 by beastaugh
Enumerating Permutations
haskell  mathematics  computability  combinatorics 
december 2011 by beastaugh
A supplement to Richard Kaye, The Mathematics of Logic
logic  mathematics 
december 2011 by beastaugh
Top-down induction
mathematics  settheory 
december 2011 by beastaugh
Emmy Noether - Wikipedia
mathematics  women  algebra  history  biography 
december 2011 by beastaugh
Eugenia Cheng's Category Theory course, with notes
categorytheory  mathematics  notes 
december 2011 by beastaugh
Group Theory for puzzles
mathematics  algebra  puzzles 
december 2011 by beastaugh
Obtaining Strong Recursion From Weak Recursion
mathematics  computability 
december 2011 by beastaugh
Order theory for computer scientists
mathematics  ordertheory  compsci  haskell 
december 2011 by beastaugh
set theory - How far from ZFC is Cohen's second model? - Mathematics - Stack Exchange
settheory  mathematics 
december 2011 by beastaugh
Derangement - Wikipedia
mathematics  combinatorics 
december 2011 by beastaugh
Inclusion–exclusion principle - Wikipedia
mathematics  combinatorics 
december 2011 by beastaugh
A map of the Tricki
mathematics  learning 
december 2011 by beastaugh
Arithmetical hierarchy - Wikipedia
reversemathematics  arithmetic  mathematics 
december 2011 by beastaugh
« earlier      

related tags

academia ⊕  adalovelace ⊕  agda ⊕  ai ⊕  algebra ⊕  algorithms ⊕  analysis ⊕  animation ⊕  arithmetic ⊕  axiomofchoice ⊕  biography ⊕  book ⊕  books ⊕  booleanalgebra ⊕  brain ⊕  calculus ⊕  cantor ⊕  categorytheory ⊕  chalmers ⊕  charlesbabbage ⊕  cognitivescience ⊕  combinatorics ⊕  combinators ⊕  compsci ⊕  computability ⊕  computation ⊕  computing ⊕  concretemathematics ⊕  conference ⊕  consciousness ⊕  countability ⊕  css ⊕  csstransforms ⊕  culture ⊕  datastructures ⊕  davidblackwell ⊕  design ⊕  drawing ⊕  economics ⊕  einstein ⊕  eratosthenes ⊕  exponentiation ⊕  feynman ⊕  finance ⊕  fom ⊕  formalism ⊕  formalmethods ⊕  foundations ⊕  fractal ⊕  fractals ⊕  functionalprogramming ⊕  geometry ⊕  graphics ⊕  gödel ⊕  harveyfriedman ⊕  haskell ⊕  history ⊕  homepages ⊕  humour ⊕  incompleteness ⊕  infinitesimals ⊕  infinity ⊕  information ⊕  inourtime ⊕  introspection ⊕  intuitionism ⊕  java ⊕  javascript ⊕  journals ⊕  knuth ⊕  kuhn ⊕  law ⊕  learning ⊕  linearalgebra ⊕  lisp ⊕  logic ⊕  mathematics ⊖  matrices ⊕  melvynbragg ⊕  metamathematics ⊕  mind ⊕  modality ⊕  modeltheory ⊕  monads ⊕  naturalism ⊕  neuroscience ⊕  nonstandardanalysis ⊕  notation ⊕  notes ⊕  numbertheory ⊕  obituary ⊕  openaccess ⊕  ordertheory ⊕  ordinalnotation ⊕  ordinals ⊕  origami ⊕  paper ⊕  paradox ⊕  patents ⊕  perception ⊕  phenomenology ⊕  philosophy ⊕  philosophyofmaths ⊕  philosophyofscience ⊕  physics ⊕  plt ⊕  politics ⊕  predicativity ⊕  primes ⊕  probability ⊕  programming ⊕  prooftheory ⊕  psychology ⊕  publishing ⊕  puzzles ⊕  pvsnp ⊕  pythagoras ⊕  python ⊕  racism ⊕  racket ⊕  reference ⊕  relativity ⊕  research ⊕  reversemathematics ⊕  science ⊕  sep ⊕  settheory ⊕  software ⊕  stanleytennenbaum ⊕  statistics ⊕  tarski ⊕  technology ⊕  tex ⊕  theory ⊕  topology ⊕  truth ⊕  turing ⊕  typeclasses ⊕  typetheory ⊕  typography ⊕  video ⊕  visualisation ⊕  web ⊕  women ⊕  writing ⊕ 

Copy this bookmark:



description:


tags: