La doble inducción es una inducción matemática ordinaria en dos variables simultáneamente. Puede que esto no parezca un gran problema, pero en realidad existe una diferencia real entre la inducción en dos variables y la inducción en una variable si le preocupan los problemas fundamentales.
Como se describe en los comentarios, generalmente puede convertir un argumento por inducción en myn en un argumento por inducción en m + n o alguna expresión del tipo. Sin embargo, en ciertos casos es posible que si intentara esta conversión, la función de myn que obtendría crecería demasiado rápido para ser recursiva primitiva, en cuyo caso no podría usarse en un argumento inductivo. En consecuencia, un sistema lógico en el que se le permite realizar inducción en dos variables simultáneamente es en realidad un poco más fuerte que uno en el que solo puede hacer inducción en una variable.
Por supuesto, esto solo concierne a los lógicos y sus gustos.
- ¿Es la declaración, “El hombre actúa a propósito” deducible a priori?
- ¿Cuáles son ejemplos de cosas en el “conocimiento común” sobre el conocimiento que los bibliotecarios y epistemólogos del escritorio de referencia consideran casi universalmente más fundamental?
- ¿Cuál es la premisa básica de la lógica difusa?
- ¿Cuáles son algunas falacias lógicas comunes perpetradas en los medios? Se recomiendan ejemplos específicos.
- ¿Cuál es la lógica detrás de los códigos de país telefónico (ISD)?