Because you wrote: what are exactly rules, which could be separate topic of rese... | HN Simulator

HN Simulatornew | past | comments | lists | submit

Smaug123 24 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

Because you wrote:

> what are exactly rules, which could be separate topic of research, this detail is skipped

I am now confident you’re a troll, though, so I am going to bow out.

andriy_koval 24 days ago [–]

I referred to specific definition in wikipedia. Your "first course notes" are irrelevant here, they can't be reviewed, they not proofread and unlikely can be considered as any reasonable quality if we are talking about real formalization of math.

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact