Justin Tatch Moore (เกิดปี 1974) ^{[ 1 ]}เป็นนักทฤษฎีเซตและนักตรรกศาสตร์ เขาเป็นศาสตราจารย์เต็มขั้นในสาขาคณิตศาสตร์ที่มหาวิทยาลัยคอร์เนลล์

มัวร์ได้รับปริญญาเอกในปี 2000 จากมหาวิทยาลัยโทรอนโตภายใต้การดูแลของสเตโว โทดอร์เซวิช [ ^{1 ] [ 2 ] เขา}เป็นผู้ช่วยศาสตราจารย์ด้านคณิตศาสตร์ที่มหาวิทยาลัยบอยซีสเตทในฤดูใบไม้ร่วงปี 2007 เขาได้เข้าร่วมคณะที่มหาวิทยาลัยคอร์เนลล์

พื้นที่วิจัยหลักของเขาคือทฤษฎี Ramseyของเซตอนันต์ เขาเป็นที่รู้จักจากวิธีแก้ปัญหาพื้นฐานสำหรับลำดับเชิงเส้นที่นับไม่ได้และปัญหาพื้นที่ L จากโทโพโลยีทั่วไป^{[ 3 ]}และจากงานของเขาในการกำหนดผลที่ตามมาของการเชื่อมโยงความต่อเนื่องกับค่าบางค่าของฟังก์ชันaleph ^{[ 4 ]}มัวร์ ร่วมกับยาช โลธา นักศึกษาปริญญาเอกของเขา ได้สร้างตัวอย่างค้านที่ปราศจากแรงบิดและนำเสนอแบบจำกัดเป็นครั้งแรกสำหรับปัญหา von Neumann-Dayซึ่งเดิมทีนักคณิตศาสตร์จอห์น ฟอน นอยมันน์ อธิบายไว้ ในปี 1929 โลธาได้นำเสนอวิธีแก้ปัญหานี้ในการประชุมสัมมนาทฤษฎีกลุ่มเรขาคณิตและโคฮอโมโลยีของสมาคมคณิตศาสตร์ลอนดอนในเดือนสิงหาคม 2013 ^{[ 5 ]}

มัวร์ได้รับรางวัล "การแข่งขันนักวิชาการรุ่นเยาว์" ในปี 2549 ที่เวียนนา ประเทศออสเตรีย การแข่งขันนี้เป็นส่วนหนึ่งของ "ขอบฟ้าแห่งความจริง" เพื่อเฉลิมฉลองครบรอบ 100 ปีของเกอเดลในปี 2549 ^{[ 6 ]}เขาได้รับเชิญให้เป็นวิทยากรในการประชุมICMที่ไฮเดอราบัดในปี 2553 ในหัวข้อตรรกศาสตร์ โดยเขาได้นำเสนอวิธีแก้ปัญหาในการสร้าง L-space L-space ถูกสร้างขึ้นโดยไม่ต้องสมมติสัจพจน์เพิ่มเติม และโดยการรวมฟังก์ชันโรของโทดอร์เซวิชเข้ากับทฤษฎีจำนวน^{[ 7 ] [ 8 ]}

มัวร์เป็นบรรณาธิการของ Archive of Mathematical Logic ซึ่งเขาดูแลเอกสารเกี่ยวกับทฤษฎีเซต^{[ 4 ]}เขาเป็นหนึ่งในผู้จัดงานของ Thematic Program in Forcing and its Applications (Forcing Axioms and their Applications) ในฤดูใบไม้ร่วงปี 2012 ที่Fields Institute ^{[ 9 ]} ในปี 2012 เขาได้รับเลือกเป็นสมาชิก (สมาชิกรุ่นแรก) ของ American Mathematical Society ^{[ 10 ]}

• ผลงานรวมของจัสติน แททช์ มัวร์