Matematyka.pl

Witam
Co jakiś czas spotykam się z określeniem że jakiś dowód jest "techniczny" mniej lub bardziej.
Ogólnie mmnigdy nie spotkałem się z definicją tego określenua i dlatego chciałem zapytać jak wg. was można zdefiniować że jakiś dowód jest techniczny lub bardzo techniczny ?
Czy to chodzi o to że dużo w nim jest samych przeliczeń, oszacowań itp a mało w stosunku do tego jakichś obserwacji konstrukcji pomocniczych itp ?

Kordyt pisze: ↑9 paź 2022, o 08:45Czy to chodzi o to że dużo w nim jest samych przeliczeń, oszacowań itp a mało w stosunku do tego jakichś obserwacji konstrukcji pomocniczych itp ?

To dobra intuicja. Dowód techniczny zazwyczaj wymaga dużo rachunków, a mało pomysłów.

JK