Person
Paul Cohen
An American mathematician at Stanford University who achieved a major breakthrough in 1963 by proving the independence of the continuum hypothesis. Using a technique called forcing, he showed that the hypothesis could be either true or false without contradicting the basic rules of mathematics. For this work, he was awarded the Fields Medal, the only one ever given for a result in formal logic.
斯坦福大学的一位美国数学家，于1963年通过证明连续统假设的独立性取得了重大突破。他使用一种称为“强迫法”的技术，表明这一假设既可以为真，也可以为假，而不会与数学的基本规则相矛盾。由于这项工作，他获得了菲尔兹奖，这是唯一一次因形式逻辑方面的成果而颁发的菲尔兹奖。
Un matemático estadounidense de la Universidad de Stanford que logró un avance importante en 1963 al demostrar la independencia de la hipótesis del continuo. Utilizando una técnica llamada forzamiento, mostró que la hipótesis podía ser verdadera o falsa sin contradecir las reglas básicas de las matemáticas. Por este trabajo, fue galardonado con la Medalla Fields, la única que ha sido otorgada jamás por un resultado en lógica formal.
عالم رياضيات أمريكي في جامعة ستانفورد حقق كسرًا جوهريًا في عام 1963 من خلال إثبات استقلالية فرضية الاستمرارية. واستخدم تقنية تُسمى "الإجبار" أظهر من خلالها أن الفرضية يمكن أن تكون صحيحة أو خاطئة دون أن تتعارض مع القواعد الأساسية للرياضيات. ولذلك، حصل على ميدالية فيلدز، وهي الميدالية الوحيدة التي تم منحها أبدًا لنتيجة في منطق رسمي.
Um matemático norte-americano da Universidade de Stanford que alcançou uma conquista importante em 1963, provando a independência da hipótese do contínuo. Usando uma técnica chamada forçamento, ele demonstrou que a hipótese poderia ser tanto verdadeira quanto falsa sem contradizer as regras básicas da matemática. Por esse trabalho, recebeu a Medalha Fields, a única já concedida por um resultado na lógica formal.
स्टैनफोर्ड विश्वविद्यालय के एक अमेरिकी गणितज्ञ जिन्होंने 1963 में सतत परिकल्पना की अस्वतंत्रता सिद्ध करके एक महत्वपूर्ण उपलब्धि हासिल की। एक तकनीक का उपयोग करके जिसे बलपूर्वक कहा जाता है, उन्होंने दिखाया कि परिकल्पना गणित के मूल नियमों के खंडन के बिना सच या झूठ दोनों हो सकती है। इस कार्य के लिए, उन्हें फील्ड्स पुरस्कार दिया गया, जो औपचारिक तर्क में परिणाम के लिए कभी भी दिया गया एकमात्र पुरस्कार है।
Seorang matematikawan Amerika di Universitas Stanford yang mencapai terobosan besar pada tahun 1963 dengan membuktikan kemandirian hipotesis kontinum. Menggunakan teknik yang disebut pemaksaan (forcing), ia menunjukkan bahwa hipotesis tersebut dapat benar atau salah tanpa bertentangan dengan aturan dasar matematika. Karena karya ini, ia dianugerahi Medali Fields, satu-satunya yang pernah diberikan untuk hasil dalam logika formal.
Un mathématicien américain de l'université Stanford qui a réalisé une percée majeure en 1963 en démontrant l'indépendance de l'hypothèse du continu. En utilisant une technique appelée forcing, il a montré que l'hypothèse pouvait être vraie ou fausse sans contredire les règles fondamentales des mathématiques. Pour ce travail, il a reçu la médaille Fields, la seule jamais décernée pour un résultat en logique formelle.
スタンフォード大学のアメリカ人数学者で、1963年に連続体仮説の独立性を証明し、大きな突破を遂げた。強制法（forcing）と呼ばれる手法を用いて、仮説が数学の基本的なルールに矛盾することなく、真でも偽でもあることを示した。この業績により、形式論理学の結果に対して唯一授与されたフィールズ賞を受賞した。
Американский математик из Стэнфордского университета, добившийся крупного прорыва в 1963 году, доказав независимость континуум-гипотезы. Используя технику, называемую форсингом, он показал, что гипотеза может быть как истинной, так и ложной, не противореча основным правилам математики. За эту работу он был удостоен медали Филдса, единственной, когда-либо присужденной за результат в области формальной логики.
Ein amerikanischer Mathematiker an der Stanford University, der 1963 einen bedeutenden Durchbruch erzielte, indem er die Unabhängigkeit der Kontinuumshypothese bewies. Mit einer Technik, die Forcing genannt wird, zeigte er, dass die Hypothese wahr oder falsch sein kann, ohne die grundlegenden Regeln der Mathematik zu widersprechen. Für diese Arbeit erhielt er die Fields-Medaille, die einzige jemals für ein Ergebnis in der formalen Logik vergebene Auszeichnung.
스탠퍼드 대학교의 미국 수학자로, 1963년 연속체 가설의 독립성을 증명함으로써 중대한 돌파구를 마련하였다. '강제법(forcing)'이라는 기법을 사용하여, 이 가설은 수학의 기본 규칙에 모순되지 않으면서도 참이거나 거짓일 수 있음을 보여주었다. 이 업적을 인정받아, 형식 논리학 분야에서 수상한 유일한 수상자로 필즈상을 수상하였다.