Resultats de la cerca
- En lògica matemàtica, la jerarquia aritmètica o jerarquia de Kleene és una classificació de conjunts de nombres naturals (i per extensió de qualsevol tipus...7 Ko (1.335 paraules) - 17:13, 11 juny 2022
- Fonaments de la matemàtica és el terme amb què sovint s'identifiquen certs camps de la matemàtica, com ara la filosofia de la matemàtica, la lògica matemàtica...857 octets (84 paraules) - 01:13, 28 des 2022
- La teoria de la demostració és una branca de la lògica matemàtica que tracta amb l'estructura de les demostracions matemàtiques i la potència expressiva...8 Ko (900 paraules) - 01:17, 30 des 2022
- El mètode de descens infinit és un argument matemàtic relacionat amb la demostració per inducció, i també amb la reducció a l'absurd. Utilitza el fet que...5 Ko (837 paraules) - 00:47, 28 jul 2021
En lògica matemàtica i computació, una definició recursiva (o definició inductiva) s'usa per definir un objecte en termes de si mateix (Aczel 1978:740ff)...4 Ko (550 paraules) - 02:07, 29 des 2022- A les matemàtiques hi ha diverses demostracions amb contradiccions òbvies. Tot i que les demostracions són errònies, els errors són subtils. Aquestes fal·làcies...5 Ko (718 paraules) - 09:49, 10 set 2023
