Tag mathematics

Assemblies

• bazed
• KliMathematik Augsburg
• Hackspace Siegen

Events

• 14:30

  Day 1
  Wondrous mathematics: Three bizarre logico-philosophical tales about the axiom of choice
  EmbracingHackingOHPs

  KliMathematik Augsburg
• 17:00

  Day 1
  Q-rious world of Q-theory
  KliMathematik Augsburg Table (stage side), look in description

  KliMathematik Augsburg
• 23:00

  Day 1
  Topological quantum field theory visualized: Caught with their pants down
  SoS Saal D

  KliMathematik Augsburg
• 23:30

  Day 1
  Wondrous mathematics: The curious world of four-dimensional geometry
  SoS Saal E

  KliMathematik Augsburg
• 23:55

  Day 1
  Greg Egan's Schild's Ladder: Vacuum, decoherence and spin networks
  "KliMathematik Augsburg" Table

  KliMathematik Augsburg
• 10:30

  Day 2
  Angebote zum Junghacker:innentag rund um Mathematik (inklusive mathematische Zaubertricks! Erwachsene auch willkommen)
  PlaceholderForSaalA

  KliMathematik Augsburg
• 14:50

  Day 2
  Time travel: A talk you cannot miss
  SoS Saal E

  KliMathematik Augsburg
• 16:30

  Day 2
  Wormholes: A little go-through
  "KliMathematik Augsburg" Table

  KliMathematik Augsburg
• 00:00

  Day 2
  Greg Egan's Incandescence: Tidal forces, Schwarzschild metric and Killing's theorem
  KliMathematik Augsburg Table (stage side), look in description

  KliMathematik Augsburg
• 00:15

  Day 2
  Wondrous mathematics: The world through the eyes of a prime number
  "KliMathematik Augsburg" Table

  KliMathematik Augsburg
• 00:00

  Day 3
  Formalizing mathematics in the proof assistant Agda and extracting algorithms from transfinite proofs
  SoS Saal D

  KliMathematik Augsburg
• 12:00

  Day 4
  Wondrous mathematics: Large numbers grow on trees
  "KliMathematik Augsburg" Table

  KliMathematik Augsburg
• 13:30

  Day 4
  A counterexample to the axiom of choice (in the effective topos, an alternative mathematical universe)
  KliMathematik Augsburg, look in description

  KliMathematik Augsburg
• 14:30

  Day 4
  Basic ideas of string theory
  "KliMathematik Augsburg" Table

  KliMathematik Augsburg
• 15:00

  Day 4
  How Yang-Mills theory works: See U(n) there!
  SoS Saal E

  KliMathematik Augsburg
• 16:15

  Day 4
  Mathematicians board a plane
  "KliMathematik Augsburg" Table

  KliMathematik Augsburg

projects