All posts for tag "model_theory"
-
Simple Application of Model Theory
Yeah right... we'll see - November 25, 2013
-
The Halting Problem
The halting problem as seen in math rather than in CS - November 6, 2013
Shuang Rimu
A blog about random stuff