A Note on Functions Associated with Gödel Formulas