User:Wgunther

My name is Will. I have my PhD in mathematics from Carnegie Mellon University under Richard Statman; I studied mathematical logic, with serious interest in lambda calculus, recursion theory, type theory, proof theory, and term rewriting and less serious interests in everything else.

Here's my PGP Public Key:

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1

mQENBFUvdAUBCACl626Q96k7upZtWlMuxJYXaGnLltONG9WOEF/SrDcja4ZqHErz
GVxyC9yVrNj1xOl8K+gJMdr7MzYbcOAlGO6fyJv56GTJZO1eGtyku3fvZLJPKBUB
B23wppHr5YWJzYorSAf9a9fyBRCalkIuO89f7nhvqfcDduHR0/ZuGlHU8bvz9c5+
eC6W5tk+OD5zrC3+fuWaT2H5aL7+VXw67T8lkD0zPi4u08yb201jkom61ecgsCZj
SlLW9yl3Q4UcXn1kQ3bMajgesw8svNRe2j0hyYfBlxXFGutUSQGxQLIg8oONXiG5
r6yKb92VpCDMCbxvahe2V5J/Fofsn14LECKbABEBAAG0JFdpbGxpYW0gR3VudGhl
ciA8d2d1bnRoZXJAZ21haWwuY29tPokBOAQTAQIAIgIbAwYLCQgHAwIGFQgCCQoL
BBYCAwECHgECF4AFAlUvgGMACgkQJMWHkB65ZEc8MAf/cXDoWSUOBlbOLnG+H5my
lcvA4saXWV/xLvHWOcpfQXtLIRav9B9hNpHsfE8aCtdNLRUwdJct1KRfMovO5Aq8
XbBddX6zzqAQv/3hKm7rnFy2e+1HQSc4MAOo/ZxMAsZu8d+sXey/em7NE0MU/qSV
OUr4IzVVebRI82WUJKZHIDUXRJH8jfEkbOTg5k8OJa84lDsXl16dYBqX1EJet1bu
7MjtW9bE+aVjYB+YVNZH5Y+zWp6E7UyG8NsmJbBgrf1K47uAZ/mbCzF4RK5z39mD
3Ro0h+89WqpJATvmX3XXUVQ/Nhy7ztKhu4YWXKFXycpDPtf/QE5G9BcfDZ1ZfpTn
6LkBDQRVL3QFAQgArI9/yVF9BZXOeMYh+mu07MveeEGU6WGz4yhDXmC8mfqmVUnt
6q5kVq/SMdyzI4SziCM9zjkov4dOJREeNYXuT9tqm6450fJjs3/gS5AxZjiOp9oy
wpI626H0hb1XyNaGulqdJzzNG+KUU8kSc5GNIk095VfCFMvd/uTr3MmJE5w/udd4
tLXk1Z587rvFD85NBZrWkj670QuAVfySNkG5KhZ9brC6mBidYrP9tSXbBlAqjSt2
dSZxi005lBXhH1eyrJ+oOQ7r5KpU3wB6UBFktDCI2c58AlWC7o3bZtLOZDtYKS9e
dq/tcybfdbZg/833kP07sir6/ru0KiAc+zr0TQARAQABiQEfBBgBAgAJBQJVL3QF
AhsMAAoJECTFh5AeuWRHDYsIAJsXQ+d5zFThKAN05FF/UtosDpR1evzit69f5wfA
0Z0sNTyyD/aroEwK/yBfU3V35x/rtUFaXhO6mjYDL0DZMgYeVCWXQTd7iP7HTUR5
0vxTdvH8re3bfm/RAkPhOviSL1sD18/GdSw9hlnvV9RIMLX0mG4TZISa5K6nQS2x
qIPlQ4rFhJSF2IwdunuFC/VvjEV9jx9zzYtjQQLQSPSCYF9i/CuV/mB0z80noXMo
A/u+jk94ZLOjYgMfjvo7czPv6UIyc4+57dEHj14K0IsxTCihzfb9v65BxQTAEHGE
Rum8Nc35zKGTsEuN2MUlZV32SN2iI52DBG7rOUvGkGeSv3k=
=snyp
-----END PGP PUBLIC KEY BLOCK-----