ไซมอน เบอร์นาร์ด โคเชน ( / ˈ k oʊ ʃ ən / ; เกิด 14 สิงหาคม 1934) เป็นนักคณิตศาสตร์ ชาวแคนาดา ทำงานในสาขา ทฤษฎี แบบจำลองทฤษฎีจำนวนและกลศาสตร์ควอนตัม

โคเชนเกิดที่เมืองแอนต์เวิร์ป ประเทศเบลเยียมและหนีรอดจากนาซีพร้อมครอบครัวด้วยความช่วยเหลือจากกัปตันเรือชาวนอร์เวย์ผู้กล้าหาญ เขาเติบโตในอังกฤษและเข้าเรียนในโรงเรียนมัธยมก่อนที่จะย้ายไปแคนาดา โคเชนเข้าเรียนที่มหาวิทยาลัยแมคกิลล์และได้รับปริญญาตรีและปริญญาโทที่นั่น ต่อมาเขาย้ายไปสหรัฐอเมริกาและได้รับปริญญาเอก ( ผลิตภัณฑ์อัลตราฟิลเตอร์และการขยายทางคณิตศาสตร์ ) จากมหาวิทยาลัยพรินซ์ตันในปี 1958 ภายใต้การดูแลของอลอนโซ เชิร์ชตั้งแต่ปี 1967 เขาเป็นสมาชิกของภาควิชาคณิตศาสตร์ของพรินซ์ตัน เขาดำรงตำแหน่งหัวหน้าภาควิชาตั้งแต่ปี 1989 ถึง 1992 และได้รับตำแหน่งศาสตราจารย์เฮนรี เบอร์ชาร์ด ไฟน์ สาขาคณิตศาสตร์ในปี 1994 ^{[ 1 ]}ในช่วงปี 1966–1967 และ 1978–1979 โคเชนอยู่ที่สถาบันเพื่อการศึกษาขั้นสูง^{[ 2 ]}

ในปี พ.ศ. 2510 เขาได้รับรางวัลแฟรงค์ เนลสัน โคล ครั้งที่ 7 สาขาทฤษฎีจำนวนร่วมกับเจมส์ แอกซ์จากบทความร่วมกัน 3 ฉบับ^{[ 3 ] [ 4 ] [ 5 ]}เกี่ยวกับปัญหาไดโอแฟนไทน์ที่เกี่ยวข้องกับเทคนิค p-adicโคเชนและแอกซ์ยังร่วมกันเขียนทฤษฎีบทแอกซ์-โคเชน ซึ่งเป็นการ ^{ประยุกต์}ใช้ทฤษฎีแบบจำลองกับพีชคณิต [ ^{6 ]}

ในปี พ.ศ. 2510 Kochen และErnst Speckerได้พิสูจน์ทฤษฎีบท Kochen–Speckerในกลศาสตร์ควอนตัมและบริบทควอนตัม^{[ 7 ]} ในปี พ.ศ. 2547 Kochen และJohn Horton Conwayได้พิสูจน์ทฤษฎีบทเจตจำนงเสรี ทฤษฎีบทนี้กล่าวว่า หากเรามี เจตจำนงเสรีในระดับหนึ่งแล้ว ภายใต้สมมติฐานบางประการอนุภาคพื้นฐาน บางชนิดก็ต้องมีเจตจำนงเสรีในระดับ หนึ่ง เช่นกัน

• ทฤษฎีบทบอเรล-แคนเทลลี

• ไซมอน บี. โคเชนจากโครงการลำดับวงศ์ตระกูลทางคณิตศาสตร์