## Tags

### boring

Day 2: Facebook comments | |

First post | |

The first post (copied from WordPress) |

### complexity-theory

ProvableP vs ProvableNP | |

Is NP to P as RE is to R? |

### computability

Uncomputable binary relations |

### computability-theory

Is NP to P as RE is to R? |

### contest-math

2017 Utah Math Olympiad Announcement |

### dominion

Dominion Online tournament -- Round 2 | |

Dominion Online tournament -- Round 1 |

### games

Traal -- Deciphered Scroll Messages | |

Dominion Online tournament -- Round 2 | |

Dominion Online tournament -- Round 1 |

### life-goals

Sleep |

### logic

ProvableP vs ProvableNP | |

Uncomputable binary relations |

### math

### miscellaneous

Coq Logo Vector Image |

### philosophy

On the practically true but theoretically false |

### politics

"I'm moving to Canada" |

### random-facts

2017 | |

"I'm moving to Canada" |

### research

Coq Logo Vector Image |

### sleep

Sleep |

### this-blog

Under construction | |

Sleep | |

Day 2: Facebook comments | |

First post | |

The first post (copied from WordPress) |

### umo

2017 Utah Math Olympiad Announcement |