| dbo:abstract
|
- A matematikában sejtésnek nevezzük az olyan állítást, ami a matematikai logika eszközeivel formálisan nem bizonyított, mégis erősen valószínű. Sejtés egzakt bizonyítása esetén tétellé lép elő, és a továbbiakban felhasználható bármely további bizonyítási eljárásban. Nem ritka az olyan matematikai kutatás, ami azt mutatja ki, hogy ha valamilyen sejtés igaz, akkor valamilyen más állítás is az, de ettől még ez az utóbbi állítás nem lesz tétel, hanem maga is megmarad a sejtés szintjén addig, amíg az eredeti sejtés bizonyítást nem nyer. (hu)
- A matematikában sejtésnek nevezzük az olyan állítást, ami a matematikai logika eszközeivel formálisan nem bizonyított, mégis erősen valószínű. Sejtés egzakt bizonyítása esetén tétellé lép elő, és a továbbiakban felhasználható bármely további bizonyítási eljárásban. Nem ritka az olyan matematikai kutatás, ami azt mutatja ki, hogy ha valamilyen sejtés igaz, akkor valamilyen más állítás is az, de ettől még ez az utóbbi állítás nem lesz tétel, hanem maga is megmarad a sejtés szintjén addig, amíg az eredeti sejtés bizonyítást nem nyer. (hu)
|
