Zulip Chat Archive

Stream: new members

Topic: Introducing myself: Jeremy Teitelbaum


Jeremy Teitelbaum (Dec 07 2021 at 02:29):

Hi, all, I'm Jeremy Teitelbaum, I'm interested in learning more about automated theorem proving, but I'm just a beginner.

Huỳnh Trần Khanh (Dec 07 2021 at 02:37):

welcome! what is your background?

Chris B (Dec 07 2021 at 03:26):

Big ups on the dog.

Kevin Buzzard (Dec 07 2021 at 07:13):

Hi Jeremy! Long time no see! We're working on modular forms but still don't have any nonzero examples because we're missing the assertion that a uniform limit of holomorphic functions is holomorphic. We have some basic functional analysis which works over the p-adics. We're slowly getting there.

Jeremy Teitelbaum (Dec 07 2021 at 12:46):

Kevin Buzzard said:

Hi Jeremy! Long time no see! We're working on modular forms but still don't have any nonzero examples because we're missing the assertion that a uniform limit of holomorphic functions is holomorphic. We have some basic functional analysis which works over the p-adics. We're slowly getting there.

Hey Kevin, yes, I've been on a long administrative detour but I'm trying to find my way back. Looking forward to learning more about this.


Last updated: Dec 20 2023 at 11:08 UTC