Una aproximación intuitiva a 0^0 = 1 (Primera parte)

Prometí dar una aproximación intuitiva a la demostración de que 0^0 = 1. Comenzaré ahora a cumplir esa promesa. Debo decir que suelo abordar este tema en mis clases (enseño en un profesorado de matemáticas en la ciudad de Buenos Aires) y el modo en que normalmente lo hago es a través de preguntas que analizamos y discutimos entre todos.

Empezaré planteando algunas preguntas para que Uds. puedan pensarlas y discutirlas:

1) Como sabemos, si n es un entero mayor o igual que 1, entonces n! se define como el producto n(n - 1)(n - 2)...3.2.1. El factor n aparece en la definición de n!, por lo tanto, si quisiéramos dar una definición para 0!, el factor 0 debería aparecer en ella. Este razonamiento nos diría que la definición´"lógica y natural" para 0! sería 0.

Sin embargo, como sabemos también, 0! se define como 1 (único caso en el que dos números diferentes tienen el mismo factorial). ¿Por qué 0! es 1? ¿Puede darse un contexto real y concreto que muestre por qué 0! = 1? (Quiero decir: si quisiéramos "ver" de un modo concreto que 1 + 1 = 2 tomaríamos una bolita, otra bolita y al juntarlas veríamos que hay dos bolitas ¿Cómo podría verse de modo similar que 0! es 1 y que no es 0?)

2) ¿Puede definirse (0,5)! (factorial de 0,5)? ¿Sí? ¿No? Si la respuesta es sí, ¿puede darse un contexto real y concreto que muestre cómo hacerlo?