There have been 48 individuals that have served as mayor of Columbus, Ohio, serving 53 distinct mayoralties or consecutive terms in office. The first mayor of Columbus was Jarvis W. Pike. He was appointed by the Burough Council of Columbus in 1816. The first mayor of Columbus to be elected by popular vote was John Brooks in 1834. Five mayors have served non-consecutive terms. Philo H. Olmsted is counted as both the 8th and 12th mayor, Alexander Patton as both the 17th and 19th mayor, James G. Bull as both the 22nd and 24th mayor, George J. Karb as both the 30th and 39th mayor, and Jack Sensenbrenner as both the 46th and 48th mayor. Of the individuals appointed or elected as mayor, five have resigned from office - James Robinson, John Brooks, Warren Jenkins, John G. Miller, and Jim Rhodes.