Introducing myself: Jeremy Teitelbaum

Stream: new members

[Jeremy Teitelbaum]

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]

welcome! what is your background?

[Chris B]

Big ups on the dog.

[Kevin Buzzard]

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]

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.