A presentation explaining the Halting Problem and Rice’s theorem.

Advertisements

Skip to content
# Theorems and Stuff

## My work in Math, Software Engineering, and Type Theory

# Halting Problem and Rice’s theorem

# Introduction to Type Theory

# Fourier Transforms Presentation

# Old Posts

A presentation explaining the Halting Problem and Rice’s theorem.

Advertisements

A very light introduction to type theory I made a while ago.

Last year Kirk Lansman and I did a presentation on Fourier Transforms for my math club.

Sorry about the audio and camera quality on my end.

When I worked at Safari, I did some tech blogging