‹
Rosser's trick
›
nameTürIntroduced by J. Barkley Rosser in 1936.Köken İşaretler?
a. = ad • alay = alay yollu • Alm. = Almanca • anat. = anatomi • Ar. = Arapça • argo = argo söz • ask. = askerlik • bağ. = bağlaç • bit. b. = bitki bilimi • biy. = biyoloji • bl. = bilişim • Bulg. = Bulgarca • coğ. = coğrafya • ç. = çokluk • db. = dil bilgisi • -de = -de durum ekiyle kullanılan fiil • den. = denizcilik • -den = -den durum ekiyle kullanılan fiil • dil b. = dil bilimi • din b. = din bilgisi • e. = edat • -e = -e durum ekiyle kullanılan fiil • ed. = edebiyat • eğt. = eğitim bilimi • ekon. = ekonomi • Erm. = Ermenice • esk. = eskimiş • Far. = Farsça • fel. = felsefe • fiz. = fizik • fizy. = fizyoloji • Fr. = Fransızca • geom. = geometri • gök b. = gök bilimi • hkr. = hakaret yollu • hay. b. = hayvan bilimi • hlk. = halk ağzında • huk. = hukuk • -i = -i durum ekiyle kullanılan fiil • İbr. = İbranice • İng. = İngilizce • İsp. = İspanyolca • İt. = İtalyanca • jeol. = jeoloji • kaba = kaba konuşmada • kim. = kimya • Kor. = Korece • Lat. = Latince • -le = ile edatıyla kullanılan fiil • Mac. = Macarca • man. = mantık • mat. = matematik • mdn. = madencilik • mec. = mecaz • meteor. = meteoroloji • mim. = mimarlık • min. = mineroloji • Moğ. = Moğolca • müz. = müzik • nsz. = nesne almayan fiil • öz. = özel • Port. = Portekizce • ruh b. = ruh bilimi • Rus. = Rusça • Rum. = Rumca • sf. = sıfat • sin. = sinema • Sl. = Slavca • sp. = spor • şaka = şaka yollu • T. = Türkçe • tar. = tarih • tek. = teknik • tekno. = teknoloji • tıp = tıp • tic. = ticaret • tiy. = tiyatro • tkz. = teklifsiz konuşmada • top. b. = toplum bilimi • TV = televizyon • ünl. = ünlem • vb. = ve benzerleri • yar. = yardımcı fiil • Yun. = Yunanca • zf. = zarf • zm. = zamir
-bi gibi biçimler: ünlüyle başlayan ek aldığında aldığı biçim (örn. dip → dibi).

Anlamlar

A method for proving Gödel's incompleteness theorems without the assumption that the theory being considered is ω-consistent. While Gödel's original proof uses a sentence that states (informally) "This sentence is not provable", Rosser's trick uses a formula that says "If this sentence is provable, there is a shorter proof of its negation".

Etimoloji

Introduced by J. Barkley Rosser in 1936.

Eş Anlam

Bu madde için eş anlamlı kaydı bulunmuyor.

Zıt Anlam

Bu madde için zıt anlamlı kaydı bulunmuyor.

Dil Bilgisi

Bu madde için ek dil bilgisi bulunmuyor.

Deyimler

Bu kelimeye bağlı veya kelimenin geçtiği deyim bulunamadı.

Atasözleri

Bu kelimeye bağlı veya kelimenin geçtiği atasözü bulunamadı.

Kalıp söz

Bu kelimeye bağlı veya kelimenin geçtiği kalıp söz bulunamadı.

İlişkili Sözler

Bu madde için bağlantılı deyim, atasözü veya ilişkili söz bulunmuyor.

Çekimler ve Sözcük Biçimleri

Bu madde için kayıtlı çekim veya sözcük biçimi bulunmuyor.

Kaynak ve Kayıt Bilgisi

Kaynak sınıfıSivil kaynak
Kaynak
Wiktionary / Kaikki
Kayıt durumu
Editoryal olarak onaylandı
Sürüm / aktarım
2026-09-06
Kullanım notu
CC BY-SA / GFDL (madde kaynak lisansı)
← Sözlüğe dön