U. Xorter kérdése:
Létezik tétel- és bizonyításgeneráló algoritmus?
Figyelt kérdés
Mi lehet egy ilyen, akár fekete doboz algoritmusnak a csúcsa?
Pl. tudna nagyon hasznos, de bebizonyíthatatlan "tételeket" gyártani? Vagy emberi elmével nehezen felfogható bizonyításokat adni tételekre?
2022. jún. 24. 20:27
1/1 anonim 
válasza:
válasza:létezik. Te is megtalálhatod, ha keresed. Keressed és addig ne kérdezgess!
Kapcsolódó kérdések:
Minden jog fenntartva © 2025, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu
A weboldalon megjelenő anyagok nem minősülnek szerkesztői tartalomnak, előzetes ellenőrzésen nem esnek át, az üzemeltető véleményét nem tükrözik.
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!