After a brief introduction to general relativity, I will discuss Penrose's celebrated strong cosmic censorship conjecture. This conjecture can be viewed as a global uniqueness conjecture, which states that for generic initial data, the solution is uniquely determined. This is in contrast to the phenomenon present in some special explicit black hole solutions such that determinism breaks down. I will then discuss some recent mathematical progress regarding this conjecture.