Through his own contributions (individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps more than anyone else to promote the development of proof theory and the metamathematics of constructivity in the last forty years.
Sa pamamagitan ng kanyang sariling kontribusyon (mga indibidwal at Tulungang) at ang kanyang mga katangi-tangi ang personal na impluwensiya, Georg Kreisel marahil ay higit pa sa ibang tao upang itaguyod ang pagpapaunlad ng patunay teorya at ang metamathematics ng constructivity sa huling apatnapu taon.