stanford-oval/wikipedia huggingface dataset:
1337
Olaylar

İzmit Kuşatması sona erdi. Osmanlılar İzmit'i ele geçirdi.
Yüz Yıl Savaşları başladı (1337-1453).
Serbedârîler Devleti kuruldu.
Doğumlar

I. Selâhaddin, Mısır Memlûk Sultanı (ö. 1360)
V. Stefan Uroš, Nemanjić Hanedanı'ndan gelen Sırp Kralı (ö. 1371)
Ölümler

8 Ocak - Giotto di Bondone, Rönesans resminin öncüsü İtalyan ressam (d. 1267)
tarihi bilinmeyen
I. Musa, Mali İmparatorluğu'nun yükseliş dönemindeki imparatoru
Matematiksel mantık

Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Matematiksel mantık kümeler kuramı, model kuramı, hesaplanabilirlik kuramı ve tanıtlama kuramı alanlarına ayrılır. Bu alanlar mantığın, özellikle birinci-derece mantık ve tanımlanabilir küme konularındaki, temel sonuçlarını paylaşır.
Tarihçe

Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı Gottlob Frege, "Matematik mantığın uygulama alanıdır." görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmişti.
Daha sonra, Frege'nin çalışmalarına dayanarak, Bertrand Russell ve Alfred North Whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye çalıştılar. Fakat matematiğin formel hale getirilemeyeceğini Kurt Gödel 1933'te yayınladığı bir kitabındaki (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme) meşhur teoremiyle gösterdi.
John Alan Robinson, 1967'de çözülüm teorem ispatlama yöntemini geliştirdi. Bu yöntem 1972'de A. Colmaurer tarafından ilk mantık programlama dilinin (Prolog) geliştirilmesine yol açtı. Bu dil 1975'te D. Warren tarafından “Warren Abstract Machine” (WAM) olarak uygulandı. Kişisel bilgisayarlar üzerinde ilk uygulamalar 1980'lerde ortaya çıktı.
Önermeler mantığı

Formel sistemler şu elemanlardan meydana gelir:
Tanımlanmamış terimler
Tanımlar
Türetme kuralları
Aksiyomlar
Teoremler
Formel mantığın tanımlanmamış terimleri olarak, basit önerme (P) ve mantık bağlaçları (değil, ve, veya, eğer-ise, eğer ve ancak-ise) gösterilebilir.
Tanımlanan terimlere örnek olarak bileşik önerme kavramını gösterilebilir. Aslında yukarıda verilen mantıksal bağlaçlar bir tek mantıksal bağlaç yardımıyla tanımlanabilir.
Önermeler mantığı > Önerme

Doğru ya da yanlış kesin hüküm bildiren ifadelere önerme denir. Bir önerme hem doğru hem de yanlış olamaz ama bazı önermelerin doğruluk değerleri (Doğru önermelerin doğruluk değeri 1, Yanlış önermelerin doğruluk değeri 0'dır) değişebilir. Mesela "Dün hava yağmurluydu" önermesinin doğruluk değeri günden güne değişebilir ama her önermenin doğruluk değeri değişmez "1+1=2" önermesi her zaman doğrudur. Aşağıdaki cümleler önermelere örnektir:
Dün hava güneşliydi.
3 asal sayıdır.
Duygu 21 yaşındadır.
3 asal sayı değildir.
Derya 21 yaşında değildir.
Bir gün 24 saattir.
Sıfır doğal sayıdır.
Mantıksal bağlaçlar kullanarak basit önermelerden başka önermeler kurulabilir ki bunlara “bileşik önermeler” denir. Önerme matematikte kesin bir hüküm bildiren ifadelere denir.
Önermeler mantığı > Olumsuzu

Bir önerme “değil” eki ile karşıt ifadeye çevrilebilir; buna olumsuzunu alma denir.
Bir hafta 7 gün'dür. Bir hafta 7 gün değildir. Olumsuz olacak harfin önüne - ifadesi eklenir.
Önermeler mantığı > Birleşim

İki veya daha fazla önermeden "ve, veya, ise" mantıksal bağlaçlarını kullanarak bileşik önermeler kurulabilir. Örnek olarak: “Bugün hava açık ve sıcak” cümlesini verebilir. Doğal dilde bazen “fakat” bağlacını da kullanıyoruz.
'Örnek': “bugün gemiler 9'da veya 10'da sefer yapacak.”
“arkadaşlarım sınıftadır veya arkadaşlarım bahçededir.”
değili A' olarak gösterilir.
Önermeler mantığı > Ayrılım

İki veya daha fazla basit önermeden “veya” (ya da) mantıksal bağını kullanarak bileşik önermeler kurulabilir.
Örnek: “Bugün Arçelik veya Tedaş'tan ziyaretçiler gelecek.”
Önermeler mantığı > Şartlı cümle

Aynı şekilde, iki veya daha fazla sayıda önermeden (eğer-ise) bağını kullanarak şartlı önermeler kurulabilir.
Örnek: “Eğer yağmur yağıyor ise, hava bulutludur.”
Bazen “eğer-ise” bağı yerine doğal dilde “gerektirir” bağını da kullanabiliyoruz.
Örnek: “Yağmurun yağıyor olması havanın bulutlu olmasını gerektirir.”
Önermeler mantığı > Ancak ve ancak

Yine, “eğer ve ancak-ise” bağını kullanarak birden fazla önermeden çift şartlı önermeler kurulabilir. Bu tür önermeler doğal dilde daha az kullanılmasına rağmen, fizik ve matematikte sık sık kullanılmaktadır.
Örnek: “Eğer ve ancak çalışanlar ücretlerde aşırı artış talep ederlerse enflasyon düşmez.”
Aynı cümle şu şekilde de ifade edilebilir: “Eğer, çalışanlar ücretlerde aşırı artış talep ederlerse enflasyon düşmez ve eğer enflasyon düşmezse çalışanlar ücretlerde aşırı artış talep ederler.”
Cebirde olduğu gibi, sembolik veya matematiksel mantıkta da, önermeler yerine önermesel değişkenler kullanılır (P, Q, R, S, T harfleri gibi).
Önermeler mantığı > Mantıksal bağlaçlar

Mantıksal bağlaçlar aşağıdaki sembollerle gösterilir:
\neg : değil

 \land \ : ve

 \lor : veya

 \to : eğer-ise

 \leftrightarrow : ancak ve ancak
Böylece şu ifadeler, önerme formülleri olacaktır:
\neg P,  P\land \ Q,  P\lor Q,  P\to Q,  P\leftrightarrow Q
Örnek: "Eğer sendika veya fabrika yöneticileri inada devam ederlerse, grev ancak ve ancak hükûmet bir kararname çıkarır ve fabrikaya polis göndermezse önlenir."
P: Sendika inada devam eder

Q: Fabrika yöneticileri inada devam eder

R: Grev önlenir

S: Hükûmet kararname çıkartır

T: Hükûmet fabrikaya polis göndermez
(P\lor Q)\to (R\leftrightarrow S\land \ T)
=> ise bu şekilde de gösterilir <=> ancak ve ancak bu şekilde de gösterilir.
Önermeler mantığı > Doğruluk cetvelleri

Mantıkta önermeler doğru ya da yanlış olabilir, fakat hem doğru hem yanlış olamaz. Bir önermeye yüklenen bu doğru ve yanlış yüklemlerine onun doğruluk değeri denir.
\neg P,  P\land \ Q,  P\lor Q,  P\to Q,  P\leftrightarrow Q
“Değil” sözcüğünün anlamından hareketle, eğer bir P önermesi doğru ise onun değillemesi, yani  \neg P yanlıştır ve bunun tersi. Mesela, P önermesi “Ay dünyanın uydusudur” cümlesi yerine geçiyorsa, bunun değillemesi olan  \neg P yanlıştır.
Genel, kural olarak iki veya daha fazla önermenin birleşimi, ancak birleşen bütün önermelerin doğru olması halinde doğrudur. Mesela, “3 asal sayıdır ve 2+2=5'tir” yanlış bir bileşik önermedir.
Yine kural olarak, ayrık önermelerin doğru olabilmesi için bileşenlerden birinin doğru olması yeterlidir. Ayrık önermeler ancak bunları meydana getiren bileşenlerin hepsinin birden yanlış olduğu halde yanlış sayılır.
Bileşik önermeler için doğruluk tabloları şu şekilde verilebilir:
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
|  P |  Q |  \neg P |  P\land \ Q |  P\lor Q |  P\to Q |  P\leftrightarrow Q |
| D | D | Y | D | D | D | D |
| D | Y | Y | Y | D | Y | Y |
| Y | D | D | Y | D | D | Y |
| Y | Y | D | Y | Y | D | D |
D: doğru, Y: yanlış
\neg \neg P=P

 \neg P\lor Q=P\to Q

 \neg (P\lor Q)=\neg P\land \neg Q

 \neg (P\land Q)=\neg P\lor \neg Q
(P\Leftrightarrow Q)=(P\Rightarrow Q)\land (Q\Rightarrow P)
\neg P\times P

 (P\to Q)\times (P\land \neg Q)

 (P\lor Q)\times (\neg P\land \neg Q)

 (P\land Q)\times (\neg P\lor \neg Q)
Yüklemler mantığı

Önermeler mantığının türetim kuralları matematik için yeterli olmadığı gibi gündelik dil için de yeterli değildir. Mesela, klasik mantıkta "Her asal sayı bir doğal sayıdır" ve "3 asal sayıdır" öncüllerinden, "3 doğal sayıdır" sonucunu çıkarabiliyoruz. Fakat bu akıl yürütmenin doğruluğu, önermeler mantığının kuralları çerçevesi içinde kanıtlanamaz. Bunun nedeni de şudur: Önermeler mantığı bileşik önermeler içindeki basit önermeler arasındaki mantıksal bağlaçlara ve basit önermelerin doğruluk değerlerine göre bileşik önermelerin doğruluklarını inceler. Diğer bir deyişle, önermeler mantığı bir önermeyi birçok maksat için yeterli ayrıntıda analiz etmez.
İşte, terimler, yüklemler ve niceleyiciler diye isimlendireceğimiz mantıksal kavramlar yardımıyla gündelik dili ve matematiğin dilini büyük ölçüde sembolize edebiliriz.
Yüklemler mantığında da aynı matematikte olduğu gibi, sabitler ve değişkenler kullanılır. Biraz önce bahsedilen "terimleri" iki sınıfa ayırabiliriz: Bireysel değişkenler, bireysel sabitler. Bireysel sabitlere örnek olarak birey olduğunu bildiğimiz varlıkları sayabiliriz: “Gökhan”, “Tekir”, “gül” gibi. Bunlar yerine de “insan”, “hayvan”, “bitki” kavramlarının çerçeveleri içinde olmak üzere x, y, z, değişken sembollerini kullanabiliyoruz.
Matematikte değişkenler genellikle sayılar veya fonksiyonlar olabilir. Yüklemler mantığında ise bireysel terimler değişken olabildiği gibi, yüklemler de sabit veya değişken olabilir. Yüklemsel sabitlere örnek olarak önermeler içinde yer alan yüklemleri gösterebiliriz: “sayı”, “meyve”, “uydu”, “sert” gibi. Buna göre,
7 bir asal sayıdır.

Elma bir tür meyvedir.

Miranda, Neptün'ün uydusudur.

Demir sert bir metaldir.
...cümleleri içinde "7", "Elma", "Miranda", "Neptün" ve "demir" bireysel sabitler, “asal sayı, “meyve”, “uydu” ve “sert metal” de yüklemsel sabitlerdir.
Yüklemsel ifadelerde yüklemler yukarıdaki örneklerde görüldüğü gibi bir veya iki terimli (veya argümanlı) olabildiği gibi, daha fazla sayıda argüman da içerebilirler. Mesela: “Beril, Akın ve Şebnem'nin önünde oturuyor” dediğimiz zaman, burada “önünde oturuyor” ifadesini yüklem olarak; Beril, Akın ve Şebnem isimlerini de bireysel sabitler olarak almış oluyoruz.
Yüklemsel ifadeler yüklemin aldığı terim sayısına göre şu genel biçimlerde gösterilebilirler:
P(a), Q(b, c), R(d, e, f), ...
Bu ifadelerde, hemen görülebileceği gibi, bireysel sabitler yerine x, y, z gibi değişkenler koyarsak,
P(x), Q(b, y), R(z, e, f)
...gibi değişken terimli yüklemsel ifadeler elde ederiz.
Yüklemler mantığı > Eşdeğerlik ve karşıtlık

A(x) yüklemsel bir formül olsun. Şu ifadeleri göz önüne alalım:
a)  \forall xA(x)

b)  \exists xA(x)

c)  \forall x(\neg A(x))

d)  \exists x(\neg A(x))
Bunları doğal dile çevirirsek:
a) Her şey A yüklemine (özelliğine) sahiptir.

b) Bazı şeyler A yüklemine (özelliğine) sahiptir.

c) Hiçbir şey A yüklemine (özelliğine) sahip değildir.

d) Bazı şeyler A yüklemine (özelliğine) sahip değildir.
Burada görüldüğü gibi, d, a'nın karşıtı (değillemesi), c de b'nin karşıtıdır. Şu halde,  \exists xA(x) yerine  \neg \forall x\neg A(x) kullanabiliriz, çünkü bunlar mantıksal olarak özdeştir, aynı şekilde  \forall xA(x) yerine  \neg \exists x\neg A(x) ifadesini kullanabiliriz.
Yüklemsel ifadelerde değilleme ve niceleyicilerin yeri, anlam bakımından önemlidir. Örneğin:
\neg \forall xasal(x), “her sayı asal değildir” anlamına gelirken,

 \forall x\neg asal(x) ise “hiçbir sayı asal değildir” anlamına gelir.
\forall xP(x)=\neg [\exists x\neg P(x)]

 \exists xP(x)=\neg [\forall x\neg P(x)]

 \neg \exists xP(x)=\forall x\neg P(x)

 \neg \forall xP(x)=\exists x\neg P(x)
\forall xP(x)\times \exists x\neg P(x)

 \exists xP(x)\times \forall x\neg P(x)

 \neg \exists xP(x)\times \exists xP(x)

 \neg \forall xP(x)\times \forall xP(x)
Çok çözülüm teorem ispatlama

Çözülüm teorem ispatlama, mantık teoremlerinin ispatlanması için A. Robinson tarafından geliştirilmiş bir tekniktir. Bu tekniğin esası şudur:
Eğer “veya” bağı ile bağlı P1, ..., Pn önermelerinden bir Q önermesi dedüktif olarak çıkarılabiliyorsa, o zaman Q'nun değillemesini bu önermelere “ve” bağı ile kattığımız zaman bir çelişki elde ederiz. Sembollerle gösterecek olursak:
P_{1}\land ,...,\land P_{n}\to Q
...çıkarımı geçerli ise,
P_{1}\land ,...,\land P_{n}\land \neg Q
...bir çelişkidir.
Bu yöntemin kullanılabilmesi için, P1, ..., Pn önermelerinin, eşdeğerlik dönüşümleri kullanılarak “birleşimli normal biçim” denilen bir biçime getirilmesi gerekir. Bu biçim sadece “değil”, “ve” ve “veya” mantıksal bağlaçlarını içerir.
Örnek 1:
P -> Q ~P V Q ~P V Q
P P P
------ ------ ~Q
Q Q ------
Bu örnekte  P\to Q şartlı önermesi yerine, eşdeğeri  \neg P\lor Q konulmuştur ki bu,  P\to Q önermesinin normal biçimidir.
Örnek 2:
A -> B ~A V B ~A V B
B -> C ~B V C ~B V C
A A A
-------- --------- ~C
C C ---------
Çözülüm teorem ispatlama yöntemi, yüklemler mantığının teorem ispatlama problemlerinde de uygulanmaktadır. Yüklemler mantığında teorem ispatı sırasında bireysel sabitlerin değişkenlerin yerine konulmasına “birleştirme” denilir.
Örnek 3:
P(x, y) -> Q(x) ~P(x, y) V Q(x) ~P(a, y) V Q(a)
P(a, y) P(a, y) P(a, y)
-------------- --------------- ~Q(a)
Q(a) Q(a) ---------------
Bulanık mantık

Bulanık mantık 1960'ların ortalarında Lotfi Zadeh tarafından iki değerli mantık ve olasılık teorisine alternatif olarak geliştirilmiştir. Bulanık mantıkçılara göre iki değerli mantık ve kümeler teorisi daha genel çok değerli bir teorinin özel halidir. Zadeh (1965) bulanık kümeleri ve bulanık mantığı şu şekilde tanımlamaktadır: "Bulanık sistemlerde temel düşünce bulanık mantıkta doğruluk değerleri (veya bulanık kümelerde üyelik değerleri) 0 ile 1 arasında değişen değerlerdir ki burada 0 mutlak yanlış, 1 de mutlak doğru olmaktadır."
Doğal dilde kullandığımız birçok cümlede “az”, “çok”, “orta” gibi kalitatif niceleyiciler kullanıyoruz. Bu tür cümleleri bulanık mantığın gösterimi ile ifadelendirmek daha kolay olmaktadır. Bulanık mantıkta “Ahmet yaşlıdır” ve “Bugün hava sıcaktır” cümlelerindeki “yaşlı” ve “sıcak” ifadelerine iki değerli mantıktaki gibi “doğru” veya" yanlış" yerine 0 ile 1 arasında değer verilebilmektedir.
Bulanık mantık > Bulanık mantığın formel tanımları

X, elemanları x'ler olan bir nesneler kümesi olsun, yani X = (x). X'in içinde bir A bulanık kümesi bir üyelik fonksiyonu mA(x) ile karakterize edilir. Bu fonksiyon X içindeki her nesneyi, 0 ile 1 arasındaki bir reel sayıya [0,1] tekabül ettirir. Yukarıdaki örnekte A, yaşlı insanlar kümesi olabilir. Ahmet de X insanlar genel kümesinin bir üyesi olarak yaşlı insanlardan biri olabilir ki A'daki üyelik derecesine göre üyelik değeri [0,1] reel sayılar aralığında yer alır.
mA(x) değeri 1'e yaklaştığında x'in A içindeki “üyelik derecesi” artar. Bütün x'ler için mA(x) = 0 ise, A boş bir küme olur ve bütün x'ler için mA(x) = mB(x) olduğunda da A=B olur. Bulanık kümelerle ilgili tarifler de şöyledir:
m(karşıt A) = 1 – mA.
Eğer X'in bütün x'leri için mC(x) = MAX[mA(x), mB(x)] ise, C, A ve B'nin birleşimidir.
Eğer X'in bütün x'leri için mC(x) = MIN[mA(x), mB(x)] ise, C, A ve B'nin arakesitidir.
Oktahedrit

| Oktahedrit |
| --- | --- |
— Yapısal sınıf —
1776'da Meksika, Toluca'da bulunan bir oktahedrit.
Bileşimsel tip: Demir
Yapısal ve kimyasal sınıflandırma arasındaki bağlantıyı gösteren bir faz diyagramı.
Oktahedritler, demir meteoritlerin en yaygın yapısal sınıfıdır. Bu yapılar, meteorik demirin soğuma sırasında kamasitin taenitten çözülmesine yol açan belirli bir nikel konsantrasyonuna sahip olması nedeniyle oluşur.
Yapı

Ayrıca bakınız: Widmanstätten yapısı § Lamelæ oluşum mekanizması ve Widmanstätten yapısı § Şekil ve yönelim
Oktahedritler adlarını bir oktahedrona (sekizyüzlü) paralel olan kristal yapıdan alır. Zıt yüzler paraleldir, bu nedenle bir oktahedronun 8 yüzü olmasına rağmen, sadece 4 set kamasit plakası vardır.
Ana asteroitlerin iç kısmındaki uzun soğuma süresi nedeniyle bu alaşımlar, birbirine karışmış milimetre büyüklüğünde şeritler halinde kristalleşir (yaklaşık 0,2 mm ile 5 cm arasında). Cilalandığında ve asitle kazındığında, kesişen lamel kamasit çizgilerinin klasik Widmanstätten desenleri görülebilir.
Kamasit ve taenit lameller arasındaki boşluklarda çoğunlukla plesit adı verilen ince taneli bir karışım bulunur. Bir demir nikel fosfit olan şarbesit, nikel-demir meteoritlerinin çoğunda bulunur ve ayrıca demir-nikel-kobalt karbür olan kohenit de bulunur. Grafit ve troilit, boyutları birkaç cm'ye kadar olan yuvarlak nodüller halinde oluşur.
Alt gruplar

Ayrıca bakınız: Demir meteorit § Yapısal sınıflandırma
Oktahedritler, nikel içeriğine bağlı olarak Widmanstätten desenindeki kamasit lamellerinin boyutlarına göre gruplandırılabilir:
En kalın oktahedritler, lamel genişliği >3,3 mm, %5-9 Ni, sembolü Ogg
Kalın oktahedritler, lamel genişliği 1,3-3,3 mm, %6,5-8,5 Ni, sembolü Og
Orta oktahedritler, lamel genişliği 0,5-1,3 mm, %7-13 Ni, sembolü Om
İnce oktahedritler, lamel genişliği 0,2-0,5 mm, %7,5-13 Ni, sembolü Of
En ince oktahedritler, lamel genişliği <0,2 mm, %17-18 Ni, sembolü Off
Plesitik oktahedritler; kamasit iğleri, oktahedritler ve ataksitler arasında bir geçiş yapısıdır, %9-18 Ni, sembolü Opl
780 kg ağırlığındaki Zacatecas meteoriti, 1782 yılında Meksika Zacatecas'da bulundu.
Uçak mühimmatı

Grumman A-6 Intruder (A2F-1) saldırı uçağı silah mühimmatını sergilemekte, 1962
Uçak mühimmatı veya mühimmat (askeri havacılık bağlamında), bombalar, füzeler, roketler ve silah mühimmatları gibi uçak tarafından kullanılan silahlardır. Bu terim genellikle bir uçak veya bırakılan ağırlık tarafından taşınabilen havadan karaya silahların ağırlığını tanımlarken kullanılır. Uçak mühimmatı ayrıca havadan havaya, gemi savar ve denizaltı karşıtı silahları da içermektedir.
Bazı uçak tipleri çok çeşitli mühimmat taşıyabilir – örneğin, Fairchild AU-23 Peacemaker ileri ateşlemeli silah bölmeleri, 500 ve 250 pound'luk bombalar, napalm üniteleri, parça tesirli bomba birimleri, fişekler, roketler, sis bombaları ve propaganda broşür dağıtıcıları kullanabilir.
Mühimmat bir silah bölmesinde taşınabilir veya silah istasyonuna asılı olarak kullanılabilir.
Birçok silah için, uçabilecekleri sürenin bir sınırı vardır (örneğin, titreşim hasarı nedeniyle); bu sürenin aşılmasından sonra güvenlikleri veya etkinlikleri garanti edilmez.
Leverkusen Ren Köprüsü

| Leverkusen Ren Köprüsü |
| --- | --- |
Yeni köprüye dönüşüm sırasında Ocak 2024'te eski (ön) ve yeni (arka) Leverkusen otoyol köprüsü
Resmî adı: Rheinbrücke Leverkusen
Taşınan: A1 otoyolu
Geçiş: Ren nehri
Konum: Köln-Merkenich – Leverkusen-Wiesdorf
Tasarım: Gergin eğik askılı köprü
Uzunluk: 1065,65 m
Genişlik: 34,1 m
En geniş açıklık: 280 m
Ortalama trafik: 111.900 (2017)
Başlangıç tarihi: 2017 (1. Kısmi yapı)
Bitiş tarihi: 2023 (1. Kısmi yapı) tahmini 2027 (2. Kısmi yapı)
Açılış: 4 Şubat 2024 (1. Kısmi yapı)
Leverkusen Ren Köprüsü, Almanya'da Köln şehrinin kuzey otoyol çevre yolunun bir parçası olan A1 otoyolunun Ren Nehri üzerinden geçişinde bulunan köprüdür.
Yeni Köprü İnşaatı > Yapı

Köprü, her bir yön için birer tane olmak üzere iki kısmi yapıdan oluşacak şekilde inşaatı devam etmektedir. İlk kısım 4 Şubat 2024'te trafiğe açılmıştır. Kısmi yapılar, 688,70 m uzunluğundaki çelik nehir köprüsü ve batıya doğru devam eden 376,95 m uzunluğundaki taşkın yatağı köprüsünden oluşmaktadır. 34,10 m genişliğindeki nehir köprüleri iki ayaklı eğik askılı köprüler olarak inşa edilmektedir. Açıklıklar 60,00 m, 2 × 74,00 m, 280,00 m, 2 × 74,00 m ve 52,70 m'dir. Taşkın yatağı köprüleri, maksimum 68,00 m açıklığa sahip altı açıklıklı öngerilmeli betondan yapılmış kutu kesitli bir yapıya sahiptir. Her iki kısmi yapı da nihai durumda dört sürekli şerit ve Ren'in her iki yakasında giriş ve çıkışlar için iki şerit ile bir emniyet şeridi ve bir bisiklet ve yaya yoluna sahip olacaktır.
Nehir köprüsünün yarıları, her iki taraftan serbest konsol yöntemiyle nehrin ortasına doğru inşa edilmektedir. 5 Eylül 2023'te ilk köprü yarısının son iki parçası yerleştirilmiştir. 4 Şubat 2024'te ilk kısmi yapı trafiğe açılmış olup, ikinci bölümün 2027'de hizmete girmesi planlanmaktadır.
Yeni Köprü İnşaatı > 2016 Plan Onayı Kararı ve İnşaatın Başlaması

2015 yılında, Federal Karayolları Yasası'nda Altıncı Değişiklik Yasası ile inşaatı hızlandırmak amacıyla plan onayına karşı açılan davalar Federal İdare Mahkemesi ile sınırlandırıldı. Federal hükûmet köprü için 740 milyon Euro tahsis etti.
10 Kasım 2016'da Köln Bölge Yönetimi, yeni Leverkusen Ren Köprüsü için plan onay kararını yayınladı. Mevcut köprünün, aynı yerde, her biri beşer şeritli, bir emniyet şeritli ve dış kenarlarında ayrı bisiklet/yaya yolları olan iki paralel köprü yapısı ile değiştirilmesi planlandı. İlk kısmi yapı, eski köprünün hemen kuzeyinde inşa edildi. 4 Şubat 2024'ten itibaren her iki yöndeki trafik bu yapı üzerinden yönlendirilmektedir. Bundan sonra eski Ren Köprüsü yıkılacak ve ikinci kısmi yapı inşa edilecektir.
24 Kasım 2016'da 14 gün süren kamuya açık sergileme süreci başladı. Yeni inşaata karşı, diğerlerinin yanı sıra, NGL - Gürültü, İnce Toz ve Diğer Zararlı Emisyonlara Karşı Ağ Derneği (NGL) dava açmıştı. Federal İdare Mahkemesi, 11 Ekim 2017'de görülmekte olan iki davayı da reddetti.
14 Aralık 2017'de köprünün inşaatı için resmi olarak ilk kazma vuruldu. Ren Köprüsü'nün iki ayrı kısmi yapı olarak yeniden inşası, mevcut yapının yıkılması, K3 rampasının yıkılması ve yeniden inşası için Avusturyalı inşaat şirketi Porr'a net 362 milyon Euro'luk bir sözleşme verildi.
Yeni Köprü İnşaatı > 2020'de İnşaat Uygulamasındaki Kusurlar ve Yeniden İhale

Nisan 2020'de, Porr'un Çin'de yaptırdığı köprünün çelik bileşenlerindeki kusurlar, bu parçalar monte edilmeden önce kamuoyuna duyuruldu; Eyalet Karayolları İdaresi tarafında ise bu kusurlar 2019'dan beri ana yüklenici Porr ile görüşme konusuydu. Başlangıçta, bu kusurların Almanya'da montajdan önce giderilebileceği mi yoksa yeniden üretimin gerekli olup olmadığı belirsizdi; yeniden üretim gerekirse tamamlanma bir yıldan fazla gecikebilirdi.
Tespit edilen kusurlar ve bunların giderilmesi konusunda anlaşma sağlanamadığından, Straßen.NRW (Kuzey Ren-Vestfalya'nın devlet yol inşaat şirketi) Nisan 2020'de Porr ile olan sözleşmeyi derhal feshetti ve projenin hızla yeniden ihale edilmesi planlandı. Bu durum, ilk (kısmi) köprünün tamamlanmasını 2024 yılına kadar erteledi. Ayrıca, mevcut köprünün sonraki yıkımı sırasında - Porr'un iddialarına göre - muhtemelen kullanılmış olan asbest ve PCB nedeniyle tüm projenin daha fazla gecikmesinin beklenip beklenmeyeceği henüz öngörülememektedir.
Ocak 2021'de, (2021 başından beri sorumlu olan) Federal Otoyol Şirketi (Die Autobahn GmbH des Bundes), inşaat sözleşmesinin SEH Engineering, Hochtief ve Max Bögl şirketlerinden oluşan bir konsorsiyuma brüt 216 milyon Euro'ya yeniden verildiğini duyurdu. Sözleşme, başlanmış olan köprü kısmının 2023 sonuna kadar tamamlanmasını kapsıyordu. Mart 2021'de inşaat çalışmaları yeniden başladı.
Eylül 2023'te, her iki kıyıdan önceden inşa edilen yol taşıyıcısının yarıları Ren üzerinde buluştu ve son parça aradaki boşluğa kaynaklandı.
Temmuz 2023'te ikinci kısmi yapının inşası için sözleşme, SEH Engineering, Hochtief Infrastructure, Plauen Stahl Technologie, Max Bögl ve ZSB Zwickauer Sonderstahlbau firmalarından oluşan bir konsorsiyuma verildi. Sözleşmenin değeri yaklaşık 426 milyon Euro olarak belirlendi.
Yeni Köprü İnşaatı > Kamyon Trafiği İçin Yeniden Açılış

19 Ocak 2024'te yaklaşık saat 21:00 civarında eski köprü trafiğe kapatıldı. Takip eden yaklaşık iki hafta boyunca bariyer sistemleri söküldü ve trafik akışı yeni yapının ilk kısmına yönlendirildi.
4 Şubat 2024 öğleden sonra köprü trafiğe açıldı. Saat 13:00'te politikacılar köprüde yeniden açılışı kutladılar. Yaklaşık saat 15:30'da ilk arabalar köprüden geçmeye başladı. Pazar günü geçerli olan sürüş yasağının saat 22:00'de sona ermesiyle birlikte, ilk kamyonlar da Leverkusen'de Ren Nehri'ni yeniden geçtiler. Bundan sonra eski köprü yıkılacak ve ikinci kısmi yapı inşa edilecekti. Yapım tamamlanana kadar trafik, şantiye boyunca daha dar şeritlerden yönlendirilecektir.