p:whenever   54

« earlier    

A brief philosophical discussion:
Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and statements, but not desperately important to be acquainted with the detailed proofs, which are often rather unilluminating. One should always have in a mind a place where one could go and look if one ever did need to understand a proof: for me, that place is Rudin’s Real and Complex Analysis (Rudin’s “red book”).
gowers  pdf  math  math.CA  math.FA  philosophy  measure  exposition  synthesis  big-picture  hi-order-bits  ergodic  ground-up  summary  roadmap  mathtariat  proofs  nibble  unit  integral  zooming  p:whenever 
february 2017 by nhaliday
Shtetl-Optimized » Blog Archive » Logicians on safari
So what are they then? Maybe it’s helpful to think of them as “quantitative epistemology”: discoveries about the capacities of finite beings like ourselves to learn mathematical truths. On this view, the theoretical computer scientist is basically a mathematical logician on a safari to the physical world: someone who tries to understand the universe by asking what sorts of mathematical questions can and can’t be answered within it. Not whether the universe is a computer, but what kind of computer it is! Naturally, this approach to understanding the world tends to appeal most to people for whom math (and especially discrete math) is reasonably clear, whereas physics is extremely mysterious.

the sequel: http://www.scottaaronson.com/blog/?p=153
tcstariat  aaronson  tcs  computation  complexity  aphorism  examples  list  reflection  philosophy  multi  summary  synthesis  hi-order-bits  interdisciplinary  lens  big-picture  survey  nibble  org:bleg  applications  big-surf  s:*  p:whenever  ideas 
january 2017 by nhaliday

« earlier    

related tags

2014  2016  80000-hours  aaronson  academia  accretion  acm  acmtariat  advice  akrasia  algebra  algebraic-complexity  allodium  analogy  analysis  aphorism  apollonian-dionysian  applications  attention  aversion  baez  bayesian  beeminder  ben-recht  best-practices  better-explained  biases  big-list  big-picture  big-surf  boaz-barak  books  boolean-analysis  bootstraps  bounded-cognition  bret-victor  calculation  career  cartoons  chaining  chart  cheatsheet  checklists  circuits  clarity  clever-rats  cog-psych  commentary  communication  complexity  computation  concentration-of-measure  confluence  contrarianism  convexity-curvature  core-rats  counterexample  counting  courage  course  crypto  cs  curiosity  curvature  data-science  data  decision-making  deep-learning  dimensionality  discipline  discovery  discussion  duality  duplication  dynamic  dynamical  effective-altruism  electromag  encyclopedic  entropy-like  ergodic  essay  estimate  ethics  events  evidence-based  examples  existence  exocortex  expert-experience  expert  explanation  exposition  extrema  feynman  fisher  flexibility  fluid  focus  formal-values  fourier  frequentist  frontier  games  gaussian-processes  geometry  giants  gowers  grad-school  gradient-descent  gravity  ground-up  growth  gtd  guide  habit  hardness  hi-order-bits  hierarchy  high-dimension  hmm  honor  humility  hypothesis-testing  ideas  identity  ieee  inference  info-dynamics  info-foraging  inhibition  init  inner-product  insight  integral  integrity  intelligence  interdisciplinary  internet  interview  intricacy  intuition  iteration-recursion  jobs  journos-pundits  knowledge  learning  lecture-notes  len:long  lens  lesswrong  let-me-see  levers  lifehack  limits  linearity  links  list  local-global  long-term  longform  lower-bounds  machine-learning  markov  math.at  math.ca  math.ds  math.fa  math.mg  math.rt  math  mathtariat  meaningness  measure  mechanics  meta:math  meta:research  meta:rhetoric  metabuch  metameta  michael-nielsen  mindful  miri-cfar  models  money-for-time  monte-carlo  morality  motivation  multi  narrative  neurons  news  nibble  nitty-gritty  no-go  norms  numerics  objektbuch  oly  optimate  org:bleg  org:edu  org:health  org:inst  org:junk  org:local  org:mag  org:mat  org:med  org:rec  oscillation  overflow  oxbridge  p:***  p:**  p:someday  papers  pcp  pdf  phd  philosophy  physics  planning  plots  poll  positivity  pre-2013  presentation  princeton  prioritizing  probabilistic-method  probability  problem-solving  procrastination  productivity  prof  progression  proof-systems  proofs  psychology  puzzles  q-n-a  qra  quantifiers-sums  quantum-info  quantum-money  quantum  quixotic  quotes  rand-approx  rand-complexity  random-matrices  random  ranking  rat-pack  rationality  ratty  reading  recommendations  reference  reflection  regression  relativity  repo  research  retention  review  rhetoric  rigorous-crypto  roadmap  s:***  s:**  s:*  s:null  sampling  sanctity-degradation  scholar-pack  scholar  science  self-control  signum  simulation  skeleton  skunkworks  slides  soft-question  space  spatial  speaking  spearhead  spock  ssc  stamina  stat-mech  stats  stochastic-processes  stories  strategy  stream  stress  structure  studying  success  sum-of-squares  summary  survey  symmetry  synchrony  synthesis  tactics  talks  tcs  tcstariat  teaching  tech  techtariat  temperature  tensors  the-monster  the-trenches  thermo  thinking  thurston  tidbits  tim-roughgarden  time-preference  time-use  toolkit  top-n  tricki  tricks  trust  tutorial  tutoring  uncertainty  uniqueness  unit  valiant  video  virtu  visual-understanding  visualization  vitality  volo-avolo  washington  waves  wigderson  wiki  wire-guided  wisdom  workflow  working-stiff  workshop  worrydream  writing  yoga  yvain  zooming  🎓  👳  🔬  🖥  🤖  🦉 

Copy this bookmark: