William Lane Craig (perhaps, the most well known proponent of the Kalam Cosmological Argument) gives a presentation on the philosophical (the impossibility of an actual infinite number of things) and scientific (the Borde Guth Vilenkin Theorem) proof for the KCA.