Post by twetch#21877

1F1ZT6…S6ix Key · twetch

One of the ways to answer 0!=1 in math is by "completing the pattern" (4!=5!/5, 3!=4!/4... 0!=1!/1) but if you complete the pattern in the opposite direction going from negative numbers(-4!= -5!/5, -3!=-4!/4)... 0! = -1?
Is this incompleteness?

twetch#21877 6.4y
twetch_twembed1589293796494.png
16SgJC…e6WS Key · twetch

Yeah, not so sure about that. The factorial is defined on positive integers by induction. What value to assign the base case of 0 is in a sense a free choice, but you know you'll always want 0!=1 for binomial theorem, etc...

What the chain says
Block
634 722
Time
2020-05-13T06:32:53Z
Signer
16SgJCRH7fB5ny6wCHabmiGaa6wcbve6WS
App
twetch
Type
post
Content type
text/plain
Name in tx
twetch#21877

Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.

Signed by 16SgJCRH7fB5ny6wCHabmiGaa6wcbve6WS Verified

Replies (3)

16SgJC…e6WS Key · twetch
Replying to@16SgJC…e6WS

As it turns out, of the countably many continuous extensions of factorial to C, there is a unique meromorphic log convex one called the gamma function, but even she has poles at all negative integers. There really is a problem with thinking -1!=0!/0.

1F1ZT6…S6ix Key · twetch
Replying to@16SgJC…e6WS

Thanks for the clarification, I need to read up on my definitions! I'm no mathematician by any means but i do find philosophy of mathematics very interesting.

16SgJC…e6WS Key · twetch
Replying to@1F1ZT6…S6ix

I would certainly agree. I strongly recommend the book Proofs and Refutations by Imre Lakatos if you haven't read it. It's rather accessible and a gem!