Categories

See More
Popular Forum

MBA (4887) B.Tech (1769) Engineering (1486) Class 12 (1030) Study Abroad (1004) Computer Science and Engineering (988) Business Management Studies (865) BBA (846) Diploma (746) CAT (651) B.Com (648) B.Sc (643) JEE Mains (618) Mechanical Engineering (574) Exam (525) India (462) Career (452) All Time Q&A (439) Mass Communication (427) BCA (417) Science (384) Computers & IT (Non-Engg) (383) Medicine & Health Sciences (381) Hotel Management (373) Civil Engineering (353) MCA (349) Tuteehub Top Questions (348) Distance (340) Colleges in India (334)
See More

Blackbox Theorems [closed]

Course Queries Syllabus Queries

Max. 2000 characters
Replies

usr_profile.png

User

( 4 months ago )

By a blackbox theorem I mean a theorem that is often applied but whose proof is understood in detail by relatively few of those who use it. A prototypical example is the Classification of Finite Simple Groups (assuming the proof is complete). I think very few people really know the nuts and bolts of the proof but it is widely applied in many areas of mathematics. I would prefer not to include as a blackbox theorem exotic counterexamples because they are not usually applied in the same sense as the Classification of Finite Simple Groups.

I am curious to compile a list of such blackbox theorems with the usual CW rules of one example per answer.

Obviously this is not connected to my research directly so I can understand if this gets closed.

what's your interest


forum_ban8_5d8c5fd7cf6f7.gif