Follow

Inductive heating works by first showing that your oven can be made zero degrees above ambient, then, assuming that it's at n degrees, showing how it can be made n+1 degrees

@amy My oven works by first asserting that it can't be heated to the correct temperature, and then showing how this is logically impossible

@plektix @amy my oven works by asserting that it can't be heated to the correct temperature, and then proving it by having the world's largest hysteresis in its control loop.

@amy Induction fails to go through when you reverse what direction the cable's coiled half way along, though

@amy Coinductive heating works by showing that for any temperature n+1, there is a way your oven can get that hot starting at temperature n.

@amy Does this mean that induction heating doesn't work if you don't assume the Axiom of Choice?

@TonyaMarie @amy i think you can get around that by first proving that the desired temperature exists

@amy
Seductive heating works by showing that your oven is really, really hot.

@amy Perfect!

I reckon solar cooking would be deductive heating then, since it is taking generally available heat and producing a specific hotspot from it.

@amy I got a real facepalm out of my partner with this. :picardfacepalm: Great work!

@amy That sounds dangerous.

Wouldn’t you rather use a decaying increase? T→∞ isn’t so healthy 🙂

@amy Do you have to build in a loop so it can be made n+1 degrees for n=n+1 repeatedly, or does it do that by itself?

@amy induction has always hurt my head, much like an oven can hurt your hand.

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.