## Tags

### boring

Day 2: Facebook comments | |

First post | |

The first post (copied from WordPress) |

### complexity

Is NP to P as RE is to R? |

### computability

Is NP to P as RE is to R? | |

Uncomputable binary relations |

### 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

Uncomputable binary relations |

### math

On the practically true but theoretically false | |

3 facts about the 4-color theorem | |

Is NP to P as RE is to R? | |

2017 | |

Uncomputable binary relations | |

A cute ultrafilter problem (copied from WordPress) |

### 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 |