News for hackers. Stuff that matters.

A comment on ‘Nasty’ Geometry Breaks Decades-Old Tiling Conjecture. Parent comment

Re:‘Nasty’ Geometry Breaks Decades-Old Tiling Conjecture by tromp on Saturday December 17, 2022 @06:04AM (#34026773)
What I found interesting about the construction is that they used dimensions like lines of code in a program, each trying to accomplish one small task.

PS: Terence is with one r.

[ Parent | on HN ]
Re:‘Nasty’ Geometry Breaks Decades-Old Tiling Conjecture by User23 on Saturday December 17, 2022 @09:33AM (#34028059)
Yeah, it’s really neat seeing mainstream mathematicians finally applying mathematical methods computing scientists discovered half a century ago.

The isomorphism between programs and proofs implies we’ll see this or similar techniques developed for constructing programs that can be readily mathematically reasoned about applied more and more often in different areas. Good stuff.

[ Parent | on HN ]