## Tags

### big-data

Big Data Health Monitoring Should Be Mainstream Already |

### dominion

### games

### health

Big Data Health Monitoring Should Be Mainstream Already | |

Sleep |

### logic

ProvableP vs ProvableNP | |

Uncomputable binary relations |

### math

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

### theory-of-computation

ProvableP vs ProvableNP | |

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

Uncomputable binary relations |

### this-blog

Under construction | |

Sleep | |

Day 2: Facebook comments | |

First post | |

The first post (copied from WordPress) |

### utah-math-olympiad

2017 Utah Math Olympiad Announcement |