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-

Things
http://en.wikipedia.org/wiki/File:Compiano-Stemma.png

http://en.wikipedia.org/wiki/File:Odalengo_Grande-Stemma.png